Doug Woos James R. Wilcox Steve Anton Zachary Tatlock Michael D. Ernst Thomas E. Anderson Planning for change in a formal verification of the raft consensus protocol. 154-165 2016 CPP https://doi.org/10.1145/2854065.2854081 https://www.wikidata.org/entity/Q130959430 conf/cpp/2016 db/conf/cpp/cpp2016.html#WoosWATEA16