Kronos: A Verification Tool for Real-time Systems (1997)

by S Yovine
Venue:Journal on Software Tools for Technology Tansfer