u The tool KRONOS (1995)

by C Daws, A Ohvero, S Tripakis, S
Venue:Workshop on Hybrid Systems and Autonomous Control, DIMACS