Formal Verification Made Easy with MATLAB and Simulink