Naoyasu Ubayashi Shin Nakajima Context-aware feature-oriented modeling with an aspect extension of VDM. 1269-1274 2007 conf/sac/2007 SAC http://doi.acm.org/10.1145/1244002.1244277 db/conf/sac/sac2007.html#UbayashiN07