Pao-Ann Hsiung, Shang-Wei Lin. Model Checking Timed Systems with Priorities. In 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2005), 17-19 August 2005, Hong Kong, China. pages 539-544, IEEE Computer Society, 2005. [doi]
Abstract is missing.