Self-stabilizing Byzantine-Tolerant Distributed Replicated State Machine. - Alexander Binun; Thierry Coupaye; Shlomi Dolev; Mohammed Kassi-Lahlou; Marc Lacoste; Alex Palesandro; Reuven Yagel; Leonid Yankulin (SSS, 2016)