Describir: Embedded systems and software validation