Model Checking Timed Automata with Priorities Using DBM Subtraction.

Alexandre David John Håkansson Kim Guldstrand Larsen Paul Pettersson Model Checking Timed Automata with Priorities Using DBM Subtraction. 128-142 2006 conf/formats/2006 FORMATS http://dx.doi.org/10.1007/11867340_10 db/conf/formats/formats2006.html#DavidHLP06