REFAS: a PLE approach for simulation of self-adaptive systems requirements. - Juan C. Muñoz-Fernández; Gabriel Tamura; Irina Raicu; Raúl Mazo; Camille Salinesi (SPLC, 2015)