@inproceedings{MoDELS-2005-StirewaltR,
	author        = "Kurt Stirewalt and Spencer Rugaber",
	booktitle     = "{Proceedings of the Eighth International Conference on Model Driven Engineering Languages and Systems}",
	doi           = "10.1007/11557432_46",
	editor        = "Lionel C. Briand and Clay Williams",
	isbn          = "3-540-29010-9",
	pages         = "616--632",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Automated Invariant Maintenance Via OCL Compilation}",
	volume        = 3713,
	year          = 2005,
}