2007. VERS UN ENRICHISSEMENT DES COMPORTEMENTS DES DESIGN PATTERNS PAR LE LANGAGE DE SPECIFICATION FORMELLE LOTOS. Sciences & Technology B, Engineering Sciences. 26 (Dec. 2007), 61–66.