Model Based Control System Design Using SysML, Simulink, and Computer Algebra System

Figure 17

Verification items.