Combined propagation-based reasoning with goal and feature models | IEEE Conference Publication | IEEE Xplore