Derivation and consistency checking of models in early software product line engineering - Salinas, Edward Mauricio Alferez (2012)