FATAL+: A Self-Stabilizing Byzantine Fault-tolerant Clocking Scheme for SoCs - Danny Dolev; Matthias Függer; Christoph Lenzen 001; Markus Posch; Ulrich Schmid 001; Andreas Steininger (CoRR, 2012)

Rigorously modeling self-stabilizing fault-tolerant circuits: An ultra-robust clocking scheme for systems-on-chip. - Danny Dolev; Matthias Függer; Markus Posch; Ulrich Schmid 001; Andreas Steininger; Christoph Lenzen 001 (J. Comput. Syst. Sci., 2014)