The tool KRONOS (1996)

by C Daws, A Olivero, S Tripakis, S Yovine
Venue:In Hybrid Systems III: Verification and Control, LNCS 1066