KRONOS: A Tool for Verifying Real-Time Systems (1993)

by A Olivero, S Yovine
Venue:User’s Guide and Reference Manual. VERIMAG