Formal Specification and Verification for Organization-based systems : A Survey. - Samra Sabeg; Toufik Messaoud Maarouk; Mohammed El Habib Souidi (PAIS, 2022)

A New Formal Multi-Agent Organization Based on the DD-LOTOS Language. - Samra Sabeg; Toufik Messaoud Maarouk (J. Inf. Sci. Eng., 2024)