User-Friendly Property Specification and Process Verification - A Case Study with Vehicle-Commissioning Processes. - Richard Mrasek; Jutta A. Mülle; Klemens Böhm; Michael Becker 002; Christian Allmann (BPM, 2014)

Property specification, process verification, and reporting - A case study with vehicle-commissioning processes. - Richard Mrasek; Jutta A. Mülle; Klemens Böhm; Michael Becker 002; Christian Allmann (Inf. Syst., 2016)