The ROSACE case study: From Simulink specification to multi/many-core execution | IEEE Conference Publication | IEEE Xplore