Jürgen Ruf Thomas Kropf Symbolic Verification and Analysis of Discrete Timed Systems. 67-108 2003 23 Formal Methods in System Design 1 http://dx.doi.org/10.1023/A:1024437214071 db/journals/fmsd/fmsd23.html#RufK03