@article{tjoa_formal_2011, title = {A {Formal} {Approach} {Enabling} {Risk}-aware {Business} {Process} {Modeling} and {Simulation}}, volume = {4}, doi = {10/cg8knv}, language = {Englisch}, number = {2}, journal = {IEEE Transactions on Services Computing}, author = {Tjoa, Simon and Jakoubi, Stefan and Goluch, Gernot and Kitzler, Gerhard and Goluch, Sigrun and Quirchmayr, Gerald}, year = {2011}, keywords = {Department Technologie, FH SP Cyber Security, Forschungsgruppe Secure Societies, Institut für IT Sicherheitsforschung, Publikationstyp Schriftpublikation, SP IT Sec Security Management \& Privacy}, pages = {153--166}, }