Killer, Cláudia, E 		Cavalcante, Sueli.
" Uma Linguagem para Especificação de Requisitos de Software de Tempo Real" <em>Anais do Simpósio Brasileiro de Engenharia de Software (SBES)</em> [Online], (22 outubro 1987)