Describir: Model-based engineering for complex electronic systems :