@bachelorsthesis{BUCHER19,
	address = {Zürich, Switzerland},
	author = {Bucher, Martin},
	organization = {Communication Systems Group, Department of Informatics},
	institution = {Universität Zürich},
	month = {may},
	title = {GENEVIZ - Generation, Validation, and Visualization of SFC Packages},
	url = {https://files.ifi.uzh.ch/CSG/staff/franco/extern/theses/BA-Martin-Bucher.pdf},
	year = {2019}
}