The recovery language approach for software-implemented fault tolerance | IEEE Conference Publication | IEEE Xplore