Chao Yan, Florent Ouchet, Laurent Fesquet, Katell Morin-Allory: Formal Verification of C-element Circuits. ASYNC 2011: 55-64