Towards an Integrated Specification and Analysis of Functional and Temporal Properties: - Part I: Functional Aspect Verification. - Mokdad Arous; Djamel-Eddine Saïdouni (Modeling Approaches and Algorithms for Advanced Computer Applications, 2013)

An Integrated Approach for Specification and Analysis of Functional and Performance Properties of Concurrent Systems. - Mokdad Arous; Djamel-Eddine Saïdouni; Jean-Michel Ilié (Int. J. Syst. Serv. Oriented Eng., 2015)