1. R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P. h. Ho, X. Nicollin, A. Olivero, J. Sifakis & S. Yovine (1995): The Algorithmic Analysis of Hybrid Systems. Theoretical Computer Science 138, pp. 3–34, doi:10.1016/0304-3975(94)00202-T.
  2. R. Alur & D. L. Dill (1994): A Theory of Timed Automata. Journal of Theoretical Computer Science 126(2), pp. 183–235, doi:10.1016/0304-3975(94)90010-8.
  3. L. Benvenuti, D. Bresolin, P. Collins, A. Ferrari, L. Geretti & T. Villa (2012): Assume-guarantee verification of nonlinear hybrid systems with ARIADNE. Int. J. Robust. Nonlinear Control, doi:10.1002/rnc.2914.
  4. A. Cimatti, M. Roveri & S. Tonetta (2009): Requirements Validation for Hybrid Systems. In: CAV, LNCS 5643, pp. 188–203, doi:10.1007/978-3-642-02658-4_17.
  5. E. M. Clarke, O. Grumberg & D. A. Peled (2000): Model Checking. MIT Press.
  6. G. Frehse (2008): PHAVer: algorithmic verification of hybrid systems past HyTech. International Journal on Software Tools for Technology Transfer (STTT) 10, pp. 263–279, doi:10.1007/s10009-007-0062-x.
  7. G. Frehse, C. Le Guernic, A. Donzé, S. Cotton, R. Ray, O. Lebeltel, R. Ripado, A. Girard, T. Dang & O. Maler (2011): SpaceEx: Scalable Verification of Hybrid Systems. In: Proc. 23rd International Conference on Computer Aided Verification (CAV 2011), LNCS 6806. Springer Berlin / Heidelberg, pp. 379–395, doi:10.1007/978-3-642-22110-1_30.
  8. R. Gerth, D. Peled, M. Vardi & P. Wolper (1995): Simple on-the-fly automatic verification of linear temporal logic. In: Protocol Specification, Testing and Verification, IFIP Conference Proceedings 38. Chapman & Hall, pp. 3–18.
  9. T. A. Henzinger (2000): The theory of hybrid automata. In: M. K. Inan & R. P. Kurshan: Verification of Digital and Hybrid Systems, NATO ASI Series F: Computer and Systems Sciences 170. Springer, pp. 265–292, doi:10.1007/978-3-642-59615-5_13.
  10. T. A. Henzinger, P. W. Kopke, A. Puri & P. Varaiya (1998): What's Decidable about Hybrid Automata?. Journal of Computer and System Sciences 57(1), pp. 94 – 124, doi:10.1006/jcss.1998.1581.
  11. L. Lamport (1993): Hybrid systems in TLA+s. In: RobertL. Grossman, Anil Nerode, AndersP. Ravn & Hans Rischel: Hybrid Systems, Lecture Notes in Computer Science 736. Springer Berlin Heidelberg, pp. 77–102, doi:10.1007/3-540-57318-6_25.
  12. K. G. Larsen, P. Pettersson & W. Yi (1997): UPPAAL in a nutshell. Int. J. on Software Tools for Technology Transfer 1(1–2), pp. 134–152, doi:10.1007/s100090050010.
  13. N. Lynch, R. Segala & F. Vaandrager (2003): Hybrid I/O automata. Information and Computation 185(1), pp. 105 – 157, doi:10.1016/S0890-5401(03)00067-1.
  14. O. Maler, Z. Manna & A. Pnueli (1991): From Timed to Hybrid Systems. In: Real-Time: Theory in Practice, LNCS 600. Springer-Verlag, pp. 447–484, doi:10.1007/BFb0032003.
  15. O. Maler & D. Nickovic (2004): Monitoring Temporal Properties of Continuous Signals. In: Yassine Lakhnech & Sergio Yovine: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Lecture Notes in Computer Science 3253. Springer Berlin Heidelberg, pp. 152–166, doi:10.1007/978-3-540-30206-3_12.
  16. A. Platzer & J.-D. Quesel (2008): KeYmaera: A Hybrid Theorem Prover for Hybrid Systems. In: Proc. of the Third International Joint Conference on Automated Reasoning (IJCAR 2008), LNCS 5195. Springer Berlin / Heidelberg, pp. 171–178, doi:10.1007/978-3-540-71070-7_15.
  17. S. Ratschan & Z. She (2007): Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement. ACM Transactions in Embedded Computing Systems 6(1), doi:10.1145/1210268.1210276.
  18. S. Yovine (1997): Kronos: a verification tool for real-time systems. Int. J. on Software Tools for Technology Transfer 1(1–2), pp. 123–133, doi:10.1007/s100090050009.

Comments and questions to:
For website issues: