A Formal Framework to Specify and Test Systems with Fuzzy-Time Information | Publicación