Flavio Lerda James Kapinski Edmund M. Clarke Bruce H. Krogh Verification of Supervisory Control Software Using State Proximity and Merging. 344-357 2008 HSCC http://dx.doi.org/10.1007/978-3-540-78929-1_25 conf/hybrid/2008 db/conf/hybrid/hscc2008.html#LerdaKCK08