Formal Methods in Software Product Line Engineering | IEEE Journals & Magazine | IEEE Xplore