The tool Kronos (1995)

by C Daws, A Olivero, S Tripakis, S Yovine
Venue:Hybrid Systems III, volume 1066 of Lecture Notes in Computer Science