The automatic synthesis of fault tolerant and fault secure VLSI systems - Nixon, Ian M. (Univ. of Edinburgh, Dep. of Computer Sci., 1988)
Edinburgh, Univ., Diss., 1987