Kronos: A model-checking tool for real-time systems (1998)

by M Bozga, C Daws, O Maler, A Olivero, S Tripakis, S Yovine
Venue:in ``Proc. 10th Conference Computer-Aided Verification, CAV'98