Kristopher Welsh Nelly Bencomo Pete Sawyer Tracing requirements for adaptive systems using claims. 38-41 2011 EFSE@ICSE https://doi.org/10.1145/1987856.1987865 conf/icse/2011tefse db/conf/icse/tefse2011.html#WelshBS11