Camargo, Murilo, AND 		Farines, Jean-Marie.
" Uma abordagem para especificação e verificação de sistemas dependentes do tempo" <em>Proceedings of the Brazilian Symposium on Software Engineering (SBES)</em> [Online], (3 October 1995)