Formal Verification of a Mixed-Trust Synchronization Protocol. - Ruben Martins; Michael McCall; Dionisio de Niz; Amit Vasudevan; Björn Andersson; Mark Klein 003; John P. Lehoczky; Hyoseung Kim 001 (RTNS, 2021)