Non-functional refinement of computer based systems architecture | IEEE Conference Publication | IEEE Xplore