This lab is quite diverse. It is comprised of a group of really smart people from all over the world, each with different backgrounds, working in a friendly and welcoming environment. Being part of it has been such an enriching experience.
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.