Towards a mechanical verification of real-time reactive systems modeled in UML.

Vangalur S. Alagar, D. Muthiayen

Browse the full RTCSA paper archive.