John S. Fitzgerald Peter Gorm Larsen Shin Sahara VDMTools: advances in support for formal modeling in VDM. 3-11 2008 43 SIGPLAN Notices 2 http://doi.acm.org/10.1145/1361213.1361214 db/journals/sigplan/sigplan43.html#FitzgeraldLS08