A Formal Approach Enabling Risk-Aware Business Process Modeling and Simulation | IEEE Journals & Magazine | IEEE Xplore