Failure Detection Framework for Stochastic Discrete Event Systems With Guaranteed Error Bounds | IEEE Journals & Magazine | IEEE Xplore