Tomoji Kishi Natsuko Noda Takuya Katayama Design Verification for Product Line Development. 150-161 2005 conf/splc/2005 SPLC http://dx.doi.org/10.1007/11554844_18 db/conf/splc/splc2005.html#KishiNK05