Systematic formulation of non-functional characteristics of software | IEEE Conference Publication | IEEE Xplore