Matlab-Stateflow for automated HAZOP | IEEE Conference Publication | IEEE Xplore