A generalized theory of fail-safe systems | IEEE Conference Publication | IEEE Xplore