Annotative Software Product Line Analysis Using Variability-Aware Datalog | IEEE Journals & Magazine | IEEE Xplore