Compositional generation of software architecture performance QN models | IEEE Conference Publication | IEEE Xplore