Stochastic stability of a recoverable computer control system modeled as a finite-state machine | IEEE Conference Publication | IEEE Xplore