On the Solution to State Failure Detection Problem | IEEE Conference Publication | IEEE Xplore