@inproceedings{67539e33c31743c98d719ed969955e9e,
title = "A study of non-Boolean constraints in variability models of an embedded operating system",
author = "Passos, \{Leonardo Teixeira\} and Thorsten Berger and Marko Novakovic and Krzysztof Czarnecki and Yingfei Xiong and Andrzej Wasowski",
year = "2011",
doi = "10.1145/2019136.2019139",
language = "English",
isbn = "978-1-4503-0789-5",
booktitle = "Software Product Lines - 15th International Conference, SPLC 2011, Munich, Germany, August 22-26, 2011. Proceedings",
publisher = "Association for Computing Machinery",
address = "United States",
}