The aim of the question is gather information about the Modeling Languages used by Requirements Engineering community and in particular for Software Product Lines in Domain Engineering phase.
But, of course I should refer to FODA by Kang et al., a revision of FODA is FORM . You should also look into the book by Krysztof Czarnecki, Ulrich Eisenecker: "Generative Programming: Methods, Tools, and Applications: Methods, Techniques and Applications".
A review paper I recently found is
V. Vranić, “Reconciling Feature Modeling: A Feature Modeling Metamodel,” in Object-Oriented and Internet-Based Technologies, vol. 3263, M. Weske and P. Liggesmeyer, Eds. Springer Berlin / Heidelberg, 2004, pp. 245–255.
A relationship of requirements to features, that relates Jacksons work to features:
A. Classen, P. Heymans, and P.-Y. Schobbens, “What’s in a Feature: A Requirements Engineering Perspective,” in Fundamental Approaches to Software Engineering, vol. 4961, J. Fiadeiro and P. Inverardi, Eds. Springer Berlin / Heidelberg, 2008, pp. 16–30.