Ethan K. Jackson Dirk Seifert Markus Dahlweid Thomas Santen Nikolaj Bjørner Wolfram Schulte Specifying and Composing Non-functional Requirements in Model-Based Development. 72-89 2009 Software Composition http://dx.doi.org/10.1007/978-3-642-02655-3_7 conf/soco/2009 db/conf/soco/sc2009.html#JacksonSDSBS09