Killer, C., & 		Cavalcante, S.
1987 out 22.  Uma Linguagem para Especificação de Requisitos de Software de Tempo Real. Anais do Simpósio Brasileiro de Engenharia de Software (SBES). [Online] :