An Integrated Design Environment For Performance And Dependability Analysis | IEEE Conference Publication | IEEE Xplore