The SimUTC fault-tolerant distributed systems simulation toolkit | IEEE Conference Publication | IEEE Xplore