VDMTools: advances in support for formal modeling in VDM. - John S. Fitzgerald; Peter Gorm Larsen; Shin Sahara (ACM SIGPLAN Notices, 2008)