Provably-correct fault tolerant control with delayed information | IEEE Conference Publication | IEEE Xplore