Mehrdad Saadatmand Antonio Cicchetti Mikael Sjödin Enabling trade-off analysis of NFRs on models of embedded systems. 1-4 2011 ETFA https://doi.org/10.1109/ETFA.2011.6059184 conf/etfa/2011 db/conf/etfa/etfa2011.html#SaadatmandCS11