An Integrated Approach to Specification and Validation of Real-Time Systems.

Adnan Sherif, Augusto Sampaio, Srgio Cavalcante

Browse the full FM paper archive.