Tomoji Kishi Natsuko Noda Formal verification and software product lines. 73-77 2006 49 Commun. ACM 12 http://doi.acm.org/10.1145/1183270 db/journals/cacm/cacm49.html#KishiN06