Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis. - Víctor A. Braberman; Diego Garbervetsky; Nicolas Kicillof; Daniel Monteverde; Alfredo Olivero (FORMATS, 2009)