KILLER, Cláudia; CAVALCANTE, Sueli. Uma Linguagem para Especificação de Requisitos de Software de Tempo Real. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 1. , 1987, Rio de Janeiro/RJ. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 1987 . p. 130-143. DOI: https://doi.org/10.5753/sbes.1987.25224.