“…More particularly, the conceptualization included languages that (1) have been transformed to logic or constraint programming to automate analysis tasks; and (2) their semantics is formally defined, and were included in other conceptualization studies. Hence, this step included feature-oriented languages [5,13,14,26]; variation point oriented languages [8,12,20,22,23]; and decision-oriented languages [4,6,7,25]. Finally, the review included proposals introducing constructs for modeling complex variability relations, such as conditional and quantified constraints [8,14,21].…”