Comodeling: From Requirements to an Integrated Software/Hardware Model | IEEE Journals & Magazine | IEEE Xplore