Víctor A. Braberman Diego Garbervetsky Nicolas Kicillof Daniel Monteverde Alfredo Olivero Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis. 58-72 2009 FORMATS http://dx.doi.org/10.1007/978-3-642-04368-0_7 conf/formats/2009 db/conf/formats/formats2009.html#BrabermanGKMO09