Dependable control systems with self-recovery constraint | IEEE Conference Publication | IEEE Xplore