Jürgen Ruf, Thomas Kropf. Formal Data Analysis of Timed Finite State Systems. In 14th Euromicro Conference on Real-Time Systems (ECRTS 2002), 19-21 June 2002, Vienna, Austria, Proceedings. pages 257, IEEE Computer Society, 2002. [doi]
Abstract is missing.