Văn bản này: Specification and compositional verification of real-time systems /