1. J.C.M. Baeten and C.A. Middelburg. Process algebra with timing: real time and discrete time. Handbook of Process Algebra (J.A. Bergstra and A. Ponse and S.A. Smolka, editors), pages 627–684, 2001
2. Software product lines: Practices and patterns;Clements,2002
3. Bruce Powel Douglass and David Harel. Real-time UML: Developing Efficient Objects for Embedded Systems. 1997
4. D. Giannakopoulou. The TRACTA Approach for Behaviour Analysis of Concurrent Systems. Department of Computing, Imperial College of Science, Technology and Medicine DoC 95/16, 1995
5. A process algebra for timed systems;Hennessy;Inf. Comput,1995