Paper accepted at Feature Oriented Software Development (FOSD'11) Workshop

A Study of Non-Boolean Constraints in Variability Models of an Embedded Operating System was accepted at ACM 3rd International Workshop on Feature-Oriented Software Development (FOSD) (

The study results in a benchmark, produced as a set of Clafer models. The benchmark is available on