Camargo, M., & 		Farines, J.
1995 Oct  3.  Uma abordagem para especificação e verificação de sistemas dependentes do tempo. Proceedings of the Brazilian Symposium on Software Engineering (SBES). [Online] :