TITLE : High-level integrated design environment for dependability (HIDE) AUTHOR(S) : Bondavalli A, Dal Cin M, Latella D, Pataricza A TYPE : Conference article YEAR : 2000 CODE : 190794 *** DO NOT EDIT THIS FILE ***