Development of Safety-Critical Reconfigurable Hardware with Esterel. - Jerker Hammarberg; Simin Nadjm-Tehrani (FMICS, 2003)

Formal verification of fault tolerance in safety-critical reconfigurable modules. - Jerker Hammarberg; Simin Nadjm-Tehrani (Int. J. Softw. Tools Technol. Transf., 2005)