A study of non-Boolean constraints in variability models of an embedded operating system. - Leonardo Teixeira Passos; Thorsten Berger; Marko Novakovic; Krzysztof Czarnecki 001; Yingfei Xiong 001; Andrzej Wasowski (SPLC Workshops, 2011)