Hybrid Object-Oriented Real-Time Software Development with VDM<sup>++</sup>.

Jan van Katwijk Eugène Dürr S. J. Goldsack Hybrid Object-Oriented Real-Time Software Development with VDM<sup>++</sup>. 17- 1997 ICFEM db/conf/icfem/icfem1997.html#KatwijkDG97