EKA

Biallas, S.; Frey, G.; Kowalewski, S.; Schlich, B.; Soliman, D.: Formale Verifikation von Sicherheits-Funktionsbausteinen der PLCopen auf Modell- und Code-Ebene. Proceedings of the 11^th Fachtagung Entwurf komplexer Automatisierungssysteme (EKA 2010), ISBN 978-3-940961-41-9, pp. 47-54, Magdeburg, Germany, May 2010.

Ghanaim, A.; Frey, G.:Markov-Modellierung vernetzter Regelungssysteme basierend auf Petrinetz-Simulationen. Proceedings of the 11^th Fachtagung Entwurf komplexer Automatisierungssysteme (EKA 2010), ISBN 978-3-940961-41-9, pp. 161-170, Magdeburg, Germany, May 2010.

Felgner, F.; Frey, G.: Effiziente Modellierung zeitkontinuierlicher Markov-Modelle in Modelica. Proceedings of the 11^th Fachtagung Entwurf komplexer Automatisierungssysteme (EKA 2010), ISBN 978-3-940961-41-9, pp. 245-254, Magdeburg, Germany, May 2010.