Leonardo Teixeira Passos, Thorsten Berger, Marko Novakovic, Krzysztof Czarnecki, Yingfei Xiong, Andrzej Wasowski. A study of non-Boolean constraints in variability models of an embedded operating system. In Ina Schaefer, Isabel John, Klaus Schmid, editors, Software Product Lines - 15th International Conference, SPLC 2011, Munich, Germany, August 22-26, 2011. Proceedings. pages 2, ACM, 2011. [doi]
Abstract is missing.