Reachability analysis for timed automata using max-plus algebra. - Qi Lu; Michael Madsen; Martin Milata; Søren Ravn; Uli Fahrenberg; Kim G. Larsen (J. Log. Algebraic Methods Program., 2012)