TITLE : Automated dependability analysis of UML designs AUTHOR(S) : Bondavalli A, Majzik I, Mura I TYPE : Conference article YEAR : 1999 CODE : 408226 *** DO NOT EDIT THIS FILE ***