Calculating architectural reliability via modeling and analysis | IEEE Conference Publication | IEEE Xplore