@inproceedings{CSMR-2003-GibbsM,
	author        = "Tanton H. Gibbs and Brian A. Malloy",
	booktitle     = "{Proceedings of the Seventh European Conference on Software Maintenance and Reengineering}",
	doi           = "10.1109/CSMR.2003.1192433",
	isbn          = "0-7695-1902-4",
	pages         = "249--258",
	publisher     = "{IEEE Computer Society}",
	title         = "{Weaving Aspects into C++ Applications for Validation of Temporal Invariants}",
	year          = 2003,
}