Formal Verification of Consistency between Feature Model and Software Architecture in Software Product Line | IEEE Conference Publication | IEEE Xplore