Towards rewriting-based formal model for component-based systems verification. - Ahmed Amar Debza; Chafia Bouanaka; Nadia Zeghib (ICAASE, 2016)

A Formal Framework for Scalable Component-Based Systems. - Chafia Bouanaka; Ahmed Amar Debza; Faiza Belala; Nadia Zeghib (Int. J. Inf. Syst. Model. Des., 2017)