C. Bouzid, N. Kraiem, and C. Salinesi, “Using Product Lines Techniques to Specify Self-Adaptative Systems”, IJMIT, vol. 5, no. 2, pp. 470–477, Aug. 2013.