ASSURE: Automated Design for Dependability. - Patrick Edmond; Anurag P. Gupta; Daniel P. Siewiorek; Audrey A. Brennan (DAC, 1990)