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) (http://fosd.de/2011).

The study results in a benchmark, produced as a set of Clafer models. The benchmark is available on http://gsd.uwaterloo.ca/FOSD11