An educational toolbox on supervisory control theory using MATLAB Simulink stateflow: From Theory to practice in one week | IEEE Conference Publication | IEEE Xplore