Framework for Developping Behavioural Models From Physical Designs. - A. Kouhoul; Y. Karmous; Naim Benhamida; Sadok Aouini; Tahar Haddad; Larbi Talbi (ICM, 2018)