Philipp Chrszon Formal Analysis of Variability-Intensive and Context-Sensitive Systems. 2021 Dresden University of Technology, Germany https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-736915 https://d-nb.info/1231916931