Co-analysis of SysML and Simulink Models for Cyber-Physical Systems Design | IEEE Conference Publication | IEEE Xplore