[KMP98] Y. Kesten, Z. Manna, A. Pnueli : Verification of Clocked
and Hybrid Systems, in Lectures on Embedded Systems (eds.
G. Rozenberg and F. Vaandrager), pp. 4-73, Lecture Notes in
Computer Science, vol 1494, Springer-Verlag 1998.
URL:
http://www-step.stanford.edu/papers/clocked98.html
[Har87] David Harel: Statecharts: A Visual Formalism for Complex
Systems, Science of Computer Programming , 8,
pp. 231-274., 1987.
URL:
http://www.wisdom.weizmann.ac.il/~dharel/SCANNED.PAPERS/Statecharts.pdf
[KHC01] N. Kam, I.R. Cohen, D. Harel: Modeling Biological
Reactivity: Statecharts vs. Boolean Logic, Proc.2nd
International Conference on Systems Biology , Pasadena, CA, USA,
November 2001.
URL:
http://www.wisdom.weizmann.ac.il/~verify/publications/2001/KHC01.pdf
[Mal01] Oded Maler: Control from Computer Science , 12
pages, presented at IFAC Symposium Nonlinear Control (NOLCOS'01),
2001.
URL:
http://www-verimag.imag.fr/PEOPLE/Oded.Maler/Papers/nolcos.ps
[CHR02] F. Cassez, T. A. Henzinger, J.-F. Raskin: A Comparison
of Control Problems for Timed and Hybrid Systems,
Proceedings of the Fifth International Workshop on Hybrid
Systems: Computation and Control (HCC02) , Lecture Notes in
Computer Science 2289, Springer-Verlag, pp. 134-148, 2002.
URL:
http://ies.auc.dk/~klarsen/hybrid.pdf
[LPW97] Kim G. Larsen, Paul Pettersson and Wang Yi: UPPAAL in a
Nutshell, Journal of Software Tools for Technology
Transfer 1(1+2), Springer-Verlag, 1997.
URL:
http://www.docs.uu.se/docs/rtmv/papers/lpw-sttt97.ps.gz