UML-based safety analysis of distributed automation systems. - Sebastian Schreiber; Till Schmidberger; Alexander Fay; Jörg May; Jörn Drewes; Eckehard Schnieder (ETFA, 2007)