A Formally Verified Algorithm for Interactive Consistency Under a Hybrid Fault Model | IEEE Conference Publication | IEEE Xplore