Model Checking Timed Systems with Priorities.

Pao-Ann Hsiung, Shang-Wei Lin

Browse the full RTCSA paper archive.