Achtaich, A. .; Souissi, N. .; Mazo, R. .; Roudies, O. .; Salinesi, C. . A DSPL Design Framework for SASs: A Smart Building Example. EAI Endorsed Trans Smart Cities 2018, 3, e1.