Enabling trade-off analysis of NFRs on models of embedded systems | IEEE Conference Publication | IEEE Xplore