Martin Bucher: GENEVIZ - Generation, Validation, and Visualization of SFC Packages; Universität Zürich, Communication Systems Group, Department of Informatics, Zürich, Switzerland, May 2019, URL: https://files.ifi.uzh.ch/CSG/staff/franco/extern/theses/BA-Martin-Bucher.pdf.