Polyakov, Aleksey, 		Nigodin, Elisey, 		Polupanova, Elena, AND 		Usov, Pavel.
" Verification of the Bully Election Algorithm for Distributed Systems Using TLA+ and PlusCal" <em>Modern Information Technologies and IT-Education</em> [Online], Volume 18 Number 1 (31 March 2022)