Dmitry Burlyaev, Pascal Fradet, Alain Girault. A Static Analysis for the Minimization of Voters in Fault-Tolerant Circuits.
Leibniz Transactions on Embedded Systems, European Design and Automation Association (EDAA) \ EMbedded Systems Special Interest Group (EMSIG) and Schloss Dagstuhl -- Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing., 2018, 5 (1), pp.1-26.
⟨10.4230/LITES-v005-i001-a004⟩.
⟨hal-02065630⟩