Felix Bübl Michael Balser Tracing Cross-Cutting Requirements via Context-Based Constraints. 80-90 2005 conf/csmr/2005 CSMR http://csdl.computer.org/comp/proceedings/csmr/2005/2304/00/23040080abs.htm db/conf/csmr/csmr2005.html#BublB05