@inproceedings{ICSE-2001-AlurAGHKKMMW,
	author        = "Rajeev Alur and Luca de Alfaro and Radu Grosu and Thomas A. Henzinger and M. Kang and Christoph M. Kirsch and Rupak Majumdar and Freddy Y. C. Mang and Bow-Yaw Wang",
	booktitle     = "{Proceedings of the 23rd International Conference on Software Engineering}",
	doi           = "10.1109/ICSE.2001.919196",
	editor        = "Hausi A. Müller and Mary Jean Harrold and Wilhelm Schäfer",
	isbn          = "0-7695-1050-7",
	pages         = "835--836",
	publisher     = "{IEEE Computer Society}",
	title         = "{JMOCHA: A Model Checking Tool that Exploits Design Structure}",
	year          = 2001,
}