at

Greifeneder, J.; Frey, G.: Wahrscheinlichkeitsbasierte Modellverifikation Netzbasierter Automatisierungssysteme. at Automatisierungstechnik, Oldenbourg Verlag, Vol. 55, No. 12, pp. 624-633, Dec. 2007.