A Model-Driven Dependability Analysis Method for Component-Based Architectures | IEEE Conference Publication | IEEE Xplore