Dürr, E., 		Goldsack, S., & 		Katwijk, J.
1996 out 14.  Real Time Formal Specification using VDM++. Anais do Simpósio Brasileiro de Engenharia de Software (SBES). [Online] :