1. A theory of timed automata;Alur;Theoretical Computer Science,1994
2. Farhad Arbab, Christel Baier, Frank S. de Boer, and Jan J.M.M. Rutten. Models and temporal logics for timed component connectors. In SEFM, pages 198–207, 2004
3. Uppaal - present and future;Behrmann,2001
4. Timed Automata: Semantics, Algorithms and Tools;Bengtsson,2004
5. M.R.V Chaudron, E.M. Eskenazi, A.V. Fioukov, and D.K. Hammer. A Framework for Formal Component-Based Software Architecting. In D. Giannakopoulou, Gary T. Leavens, and M. Sitaraman, editors, OOPSLA 2001 Specification and Verification of Component-Based Systems Workshop, volume Technical Report ISU TR #01-09, Tampa, Florida, 2001. Iowa State University