Larsen, P. G., Mukherjee, P., Bousquet, F., Delabre, J. & Paynter, S. (2000).
Exploring Timing Properties using VDM++ on an Industrial Application. Afhandling præsenteret på The Second VDM Workshop - in conjunction with ZB 2000, York, Storbritannien.
http://www.vdmportal.org/twiki/pub/Main/VDMWorkshop2/vicepaper.pdf