@inproceedings{ICEIS-v3-2004-StantonM,
	author        = "Simon C. Stanton and Vishv M. Malhotra",
	booktitle     = "{Proceedings of the Sixth International Conference on Enterprise Information Systems, Volume 3}",
	pages         = "605--608",
	title         = "{Model Checking an Object-Oriented Design}",
	year          = 2004,
}