Cláudia Killer, Sueli Cavalcante. Uma Linguagem para Especificação de Requisitos de Software de Tempo Real. In Ana Regina Cavalcanti da Rocha, editor, Proceedings of the 1st Brazilian Symposium on Software Engineering, SBES 1987, Rio de Janeiro, RJ, Brazil, October 22-23, 1987. pages 130-143, SBC, 1987. [doi]
Abstract is missing.