Rotter, Florian (2016) Designing and Implementing a Modeling and Verification Tool for Object-aware Processes. Masters thesis, Ulm University.