PASS: a prototyping, analysis, simulation, and synthesis environment for real-time systems.

Tei-Wei Kuo, Shao-Juen Ho, Chih-Hung Wei, Farn Wang

Browse the full RTCSA paper archive.