The "Behavior, interaction and priority" framework applied to SystemC-based embedded systems. - Ismail Assayad; Lamia Eljadiri; Abdelouahed Zakari; Tarik Nahhal (AICCSA, 2016)

Systematic verification of embedded components with re-usable properties. - Ismail Assayad; Lamia Eljadiri; Abdelouahed Zakari (WINCOM, 2017)

A platform for systematic verification of embedded components in IP-XACT, SystemC and Promela. - Lamia Eljadiri; Ismail Assayad (ICSDE, 2018)

Generic Verification of Safety Properties For SystemC Programs Using Incomplete Interactions. - Lamia Eljadiri; Ismail Assayad; Abdelouahed Zakari (ICSDE, 2018)