Declarative and Flexible Modeling of Software Product Line Architectures | IEEE Journals & Magazine | IEEE Xplore