Describir: Comodeling: From Requirements to an Integrated Software/Hardware Model.