1. Karl J. åström and B. Wittenmark. Computer Controlled Systems: Theory and Design. Prentice Hall, 1984.
2. Maria Brielmann and Bernd Kleinjohann. A formal model for coupling computer based systems and physical systems. In Proceedings of the EURO-DAC, pages 158–163, 1993.
3. Otto Föllinger and Dieter Franke. Einführung in die Zustandsbeschreibung dynamischer Systeme. Oldenbourg Verlag, 1982.
4. Hartmann J. Genrich. Predicate/transition nets. In G. Rozenberg, editor, Advances in Petri Nets, pages 207–247. Springer-Verlag, 1986.
5. P. Merlin. A study of the recoverability of computing systems. PhD thesis, University of California, Department of Information and Computer Science, 1974.