Modelling and Verification of Real-Time Systems Using Timed Automata : Theory and Practice
Paul Pettersson · 1999
During the last decade, model-checking techniques for the verification of timed system have been developed baaed on the theory of timed automata. The practical limitation in applying these techniqu ...