Wyślij wiadomość: Mechanical verification of a schematic Byzantine clock synchronization algorithm / Natarajan Shankar.