@inproceedings{VermolenHL10,
	author          = {Sander D. Vermolen and Jozef Hooman and Peter Gorm Larsen},
	title           = {Proving consistency of VDM models using HOL},
	booktitle       = {Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010},
	publisher       = {ACM},
	year            = {2010},
	editor          = {Sung Y. Shin and Sascha Ossowski and Michael Schumacher and Mathew J. Palakal and Chih-Cheng Hung},
	pages           = {2503-2510},
	isbn            = {978-1-60558-639-7},
	project         = {MoDSE},
	topic           = {model-driven software development},
	group           = {SE}
}