Alexandre David, John Håkansson, Kim Guldstrand Larsen, Paul Pettersson. Model Checking Timed Automata with Priorities Using DBM Subtraction. In Eugene Asarin, Patricia Bouyer, editors, Formal Modeling and Analysis of Timed Systems, 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings. Volume 4202 of Lecture Notes in Computer Science, pages 128-142, Springer, 2006. [doi]
Abstract is missing.