Kronos: a veri tool for real-time systems (1997)

by S Yovine
Venue:Springer International Journal of Software Tools for Technology Transfer