@inproceedings{ISSTA-2000-CobleighCO,
	author        = "Jamieson M. Cobleigh and Lori A. Clarke and Leon J. Osterweil",
	booktitle     = "{Proceedings of the International Symposium on Software Testing and Analysis}",
	doi           = "10.1145/347324.348876",
	pages         = "96--101",
	publisher     = "{ACM}",
	title         = "{Verifying properties of process definitions}",
	year          = 2000,
}