Edelweiss, Nina, José Palazzo M. de Oliveira, José Mauro V. de Castilho, and Barbara Pernici. " Especificação de Requisitos: Utilizando um Modelo Temporal Orientado a Objetos." Proceedings of the 6th Brazilian Symposium on Software Engineering, Gramado/RS, 1992. SBC, 1992, pp.213-228.