Times: a tool for schedulability analysis and code generation of real-time systems,” in (2003)

by T Amnell, E Fersman, L Mokrushin, P Pettersson, W Yi
Venue:Proc. of International Workshop on Formal Modeling and Analysis of Timed Systems, ser. Lecture Notes in Computer Science.