Fault tolerant concurrent C: a tool for writing fault tolerant distributed programs | IEEE Conference Publication | IEEE Xplore