Deadlock-Freeness Verification of Business Process Configuration Using SOG. - Souha Boubaker; Kais Klai; Katia Schmitz; Mohamed Graiet; Walid Gaaloul (ICSOC, 2017)