@inproceedings{SEKE-2001-BarberGH,
	author        = "K. Suzanne Barber and Thomas J. Graser and Jim Holt",
	booktitle     = "{Proceedings of the 13th International Conference on Software Engineering and Knowledge Engineering}",
	pages         = "19--28",
	title         = "{Evaluating Dynamic Correctness Properties of Domain Reference Architectures Using a Combination of Simulation and Model Checking}",
	year          = 2001,
}