Bagheri, E., Noia, T.D., Gasevic, D., & Ragone, A. (2011). Formalizing Interactive Staged Feature Model Configuration. Journal of Software Maintenance and Evolution: Research and Practice, .