Describir: Formal Methods in Software Product Line Engineering.