Describing and verifying malicious fault-tolerant consensus algorithms using PlusCAL and C languages. - Aoi Ono; Tatsuhiro Tsuchiya (PRDC, 2024)