A Stochastic Modeling Approach for an Efficient Dependability Evaluation of Large Systems with Non-anonymous Interconnected Components | IEEE Conference Publication | IEEE Xplore