Formal Verification of Consistency between Feature Model and Software Architecture in Software Product Line.

Tonny Kurniadi Satyananda Danhyung Lee Sungwon Kang Formal Verification of Consistency between Feature Model and Software Architecture in Software Product Line. 10 2007 ICSEA http://doi.ieeecomputersociety.org/10.1109/ICSEA.2007.33 conf/icsea/2007 db/conf/icsea/icsea2007.html#SatyanandaLK07