Larsen, P. G., Mukherjee, P., Bousquet, F., Delabre, J. & Paynter, S. (2000).
Exploring Timing Properties using VDM++ on an Industrial Application. Paper presented at The Second VDM Workshop - in conjunction with ZB 2000, York, United Kingdom.
http://www.vdmportal.org/twiki/pub/Main/VDMWorkshop2/vicepaper.pdf