A formal model for Multi Software Product Lines