Roberto Sebastiani Eli Singerman Stefano Tonetta Moshe Y. Vardi GSTE is partitioned model checking. 177-196 2007 31 Formal Methods in System Design 2 http://dx.doi.org/10.1007/s10703-007-0036-3 db/journals/fmsd/fmsd31.html#SebastianiSTV07