SPL variability management, cardinality and types: an MDA approach. (1st January 2012)