Andrea Bondavalli Mario Dal Cin Diego Latella István Majzik András Pataricza Giancarlo Savoia Dependability analysis in the early phases of UML-based system design. 265-275 2001 16 Comput. Syst. Sci. Eng. 5 db/journals/csse/csse16.html#BondavalliCLMPS01