Mats Per Erik Heimdahl Sanjai Rayadurgam Willem Visser George Devaraj Jimin Gao Auto-generating Test Sequences Using Model Checkers: A Case Study. 42-59 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2931&spage=42 2003 conf/fates/2003 FATES db/conf/fates/fates2003.html#HeimdahlRVDG03