State-Based Specification of Complex Real-Time Systems.

Armen Gabrielian, Matthew K. Franklin

Browse the full RTSS paper archive.