Formal modeling with SysML. - Thouraya Bouabana-Tebibel; Stuart Harvey Rubin; Miloud Bennama (IRI, 2012)

Validation environment of UML2 IOD based on hierarchical coloured Petri nets. - Miloud Bennama; Thouraya Bouabana-Tebibel (Int. J. Comput. Appl. Technol., 2013)

Mapping OCL Constraints into CTL-like Logic and SML for UML Validation. - Miloud Bennama; Thouraya Bouabana-Tebibel (VECoS, 2014)

Forward and Backward Analysis of Weak Sequencing Specification. - Thouraya Bouabana-Tebibel; Stuart H. Rubin; Miloud Bennama (Formalisms for Reuse and Systems Integration, 2015)

A CTL-based OCL extension using CPN ML for UML validation. - Miloud Bennama; Thouraya Bouabana-Tebibel (Int. J. Crit. Comput. Based Syst., 2016)