Timed substitutions for regular signal-event languages Béatrice BérardPaul GastinAntoine Petit OriginalPaper 31 March 2007 Pages: 101 - 134
On the optimal reachability problem of weighted timed automata Patricia BouyerThomas BrihayeJean-François Raskin OriginalPaper 11 April 2007 Pages: 135 - 175
GSTE is partitioned model checking Roberto SebastianiEli SingermanMoshe Y. Vardi OriginalPaper 26 May 2007 Pages: 177 - 196