CAMARGO, Murilo S. de; FARINES, Jean-Marie. Uma abordagem para especificação e verificação de sistemas dependentes do tempo. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 9. , 1995, Recife/PE. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 1995 . p. 107-122. DOI: https://doi.org/10.5753/sbes.1995.24079.