Return to Article Details A Formalism for Checking Consistency of Component-Based Real-Time Systems Download Download PDF