VERS UN ENRICHISSEMENT DES COMPORTEMENTS DES DESIGN PATTERNS PAR LE LANGAGE DE SPECIFICATION FORMELLE LOTOS. STB 2007, Nᵒ 26, 61-66.