Natsuko Noda Tomoji Kishi Design Verification Tool for Product Line Development. 147-148 2007 SPLC (2) conf/splc/2007w db/conf/splc/splc2007w.html#NodaK07