The Time Machine Literatur-Links
- R. Alur and D. Dill. A theory of timed automata. Theoretical Computer Science. 1994.
- R. Alur. Timed automata. NATO ASI Summer School on Verification of Digital and Hybrid Systems. 1998.
- Shang-Wei Lin, Pao-Ann Hsiung, Chun-Hsian Huang, and Yean-Ru Chen. Model Checking Prioritized Timed Automata. 2005.
- Uppaal.
- Gerd Behrmann, Alexandre David, and Kim G. Larsen. A Tutorial on Uppaal. 2004.
- Kronos.
- Stavros Tripakis. Verifying Progress in Timed Systems, 1999.
- Oded Maler, Amir Pnueli, and Joseph Sifakis. On the synthesis of discrete controllers for timed systems. 1995.
- Karine Altisen and Stavros Tripakis. Tools for controller synthesis of timed systems. 2002.
- Franck Cassez, Alexandre David, Emmanuel Fleury, Kim G. Larsen, and Didier Lime. Efficient on-the-fly algorithms for the analysis of timed games. 2005.
- Thomas A. Henzinger. The Theory of Hybrid Automata. 1996.
- Henzinger et al.: What’s Decidable about Hybrid Automata?
- Guillaume Gardey, Olivier H. Roux, Olivier F. Roux. State Space Computation and Analysis of Time Petri Nets. 2003.
- Luca de Alfaro, Thomas A. Henzinger, and Marielle Stoelinga. Timed Interfaces. 2002.
- Intro on Partial Order Reduction.
- Patrice Godefroid’s Thesis on Partial Order Reduction
- Alberto LLuch-Lafuentes Dissertation, Overview of Directed Model Checking
- LTL and other temporal logics
- Nikolaj Bjorner, Zohar Manna, Henny Sipma, and Tomas Uribe. Deductive Verification of Real-time systems using STeP.
- Elmar Bihler and Walter Vogler. Timed Petri Nets: Efficiency of Asynchronous Systems