Co-analysis of SysML and Simulink Models for Cyber-Physical Systems Design. - Shin Nakajima 001; Satoru Furukawa; Yoshikazu Ueda (RTCSA, 2012)