Multi-Level Specification and Verification of Real-Time Software.

Armen Gabrielian, Matthew K. Franklin

Browse the full ICSE paper archive.