Gravar-mail: Derivation and consistency checking of models in early software product line engineering