Jerker Hammarberg, Simin Nadjm-Tehrani. Formal verification of fault tolerance in safety-critical reconfigurable modules. STTT, 7(3):268-279, 2005. [doi]
@article{HammarbergN05, title = {Formal verification of fault tolerance in safety-critical reconfigurable modules}, author = {Jerker Hammarberg and Simin Nadjm-Tehrani}, year = {2005}, doi = {10.1007/s10009-004-0152-y}, url = {http://dx.doi.org/10.1007/s10009-004-0152-y}, researchr = {https://researchr.org/publication/HammarbergN05}, cites = {0}, citedby = {0}, journal = {STTT}, volume = {7}, number = {3}, pages = {268-279}, }