Dürr, Eugène, 		Goldsack, Stephen, E 		Katwijk, Jan.
" Real Time Formal Specification using VDM++" <em>Anais do Simpósio Brasileiro de Engenharia de Software (SBES)</em> [Online], (14 outubro 1996)