Camargo, Murilo, E 		Farines, Jean-Marie.
" Uma abordagem para especificação e verificação de sistemas dependentes do tempo" <em>Anais do Simpósio Brasileiro de Engenharia de Software (SBES)</em> [Online], (3 outubro 1995)