Epistemic Model Checking of Distributed Commit Protocols with Byzantine Faults | IEEE Conference Publication | IEEE Xplore