Model based control system design using SysML, simulink, and computer algebra systemTakashi SakairiEldad Palachiet al.2013Journal of Control Science and Engineering