I. Stoilkovska, I. Konnov, J. Widder, F. Zuleger:
"Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking";
in: "International Conference on Tools and Algorithms for the Construction and Analysis of Systems", Springer, 2019, 357 - 374.
https://publik.tuwien.ac.at/files/publik_283798.pdf