EKA

Greifeneder, J.; Frey, G.:Analyse des Antwortverhaltens vernetzter Automatisierungssysteme mittels Probabilistic Model Checking. Proceedings of the 9^th Conference on Entwurf komplexer Automatisierungssysteme (EKA 2006), pp.131-151, Braunschweig, Germany, May 2006.