A UML-Based Framework for Design and Analysis of Dependable Software | IEEE Conference Publication | IEEE Xplore