An architectural model for software reliability quantification | IEEE Conference Publication | IEEE Xplore