1. Rajeev Alur and David L. Dill. A theory of timed automata. Theoretical Computer Science, 126:183–235, 1994.
2. Lect Notes Comput Sci;D. Beyer,2001
3. Lect Notes Comput Sci;M. Bozga,1997
4. Dirk Beyer and Andreas Noack. Efficient verification of timed automata using BDDs. In Proc. Formal Methods for Industrial Critical Systems. to appear, 2001.
5. Dirk Beyer and Heinrich Rust. Modeling a production cell as a distributed real-time system with Cottbus Timed Automata. Proc. FBT’98, pages 148–159. Shaker, 1998.