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

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