Predictive Security Analysis for Event-Driven Processes. - Roland Rieke; Zaharina Stoynova (MMM-ACNS, 2010)