Return to Article Details A Formal Method for Specifying The Interface of Components in Real-time Concurrent Systems Download Download PDF