Designing a control system using SysML and Simulink | IEEE Conference Publication | IEEE Xplore