Distributed fault tolerance specification through the use of interface definitions | IEEE Conference Publication | IEEE Xplore