Everyone in our lab is free to work on what they want to work on. Encouragement and constructive feed back is always available.
The variability model constraints benchmark
This page provides the benchmark of variability model constraints described in the paper "A study of non-Boolean constraints in a variability model of an embedded operating system". The benchmark is given as a set of Clafer models. The .zip file provides the complete benchmark of all 116 Clafer models we produced.