Richard Mrasek, Jutta A. Mülle, Klemens Böhm, Michael Becker, Christian Allmann. Property specification, process verification, and reporting - A case study with vehicle-commissioning processes. Inf. Syst., 56:326-346, 2016. [doi]
Abstract is missing.