Static analysis of BPMN-based process-driven applications. - Konrad Schneid; Claus A. Usener; Sebastian Thöne; Herbert Kuchen; Christian Tophinke (SAC, 2019)