Echahed, R.; Habel, A.; Mosbah, M. Preface. ECEASST 2015, 71.