@mastersthesis{publication-16558,
	author={Leumann, Oliver},
	editor={Gall, Harald and Schermann, Gerald},
	faculty={Faculty of Business, Economics and Informatics},
	institution={University of Zurich},
	title={Microservices-Based Feature Models: Using Heimdall for Correctness Checking and Configuration Validation},
	year=2017,
}