Enviar por SMS: Derivation and consistency checking of models in early software product line engineering