Dürr, Eugène, Stephen Goldsack, and Jan van Katwijk.
" Real Time Formal Specification using VDM++." <em>Anais do X Simpósio Brasileiro de Engenharia de Software,
São Carlos/SP, 1996</em>. SBC, 1996,  
pp.57-72.