FARN WANG2020-06-042020-06-041995https://scholars.lib.ntu.edu.tw/handle/123456789/497158Timing Behavior Analysis for Real-Time Systemsconference paper10.1109/LICS.1995.523249https://doi.org/10.1109/LICS.1995.523249