Two examples of verification of multirate timed automata with Kronos (1995)

by C. Daws, S. Yovine
Venue:In Proc. 1995 IEEE Real-Time Systems Symposium, RTSS'95