Colored model based testing for software product lines(CMBT-SWPL). - Manal Farrag (2010)