Killer, Cláudia, and Sueli Cavalcante.
" Uma Linguagem para Especificação de Requisitos de Software de Tempo Real." <em>Anais do I Simpósio Brasileiro de Engenharia de Software,
Rio de Janeiro/RJ, 1987</em>. SBC, 1987,  
pp.130-143.