Klai, Desel, 2012. Checking Soundness of Business Processes Compositionally Using Symbolic Observation Graphs, in: . Springer Berlin Heidelberg.. https://doi.org/10.1007/978-3-642-30793-5_5