A simulation method for POBIT fault detection using Stateflow | IEEE Conference Publication | IEEE Xplore