Sungwon Kang Jihyun Lee Myungchul Kim Woojin Lee Towards a Formal Framework for Product Line Test Development. 921-926 2007 CIT http://doi.ieeecomputersociety.org/10.1109/CIT.2007.178 conf/IEEEcit/2007 db/conf/IEEEcit/IEEEcit2007.html#KangLKL07