Camargo, Murilo, and Jean-Marie Farines.
" Uma abordagem para especificação e verificação de sistemas dependentes do tempo." <em>Anais do IX Simpósio Brasileiro de Engenharia de Software,
Recife/PE, 1995</em>. SBC, 1995,  
pp.107-122.