specification and verification of parallel real-time systems