Recent improvements on the specification of transient-fault tolerant VHDL descriptions: a case-study for area overhead analysis | IEEE Conference Publication | IEEE Xplore