Lasse Jacobsen, Morten Jacobsen, Mikael H. Møller, Jirí Srba. A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking. In Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa, editors, Computer Performance Engineering - 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings. Volume 6342 of Lecture Notes in Computer Science, pages 83-98, Springer, 2010. [doi]
Abstract is missing.