ZEGHIB, N.; BETTAZ, M. CIRTA: A FORMAL LANGUAGE FOR MODULAR ECATNETS SPECIFICATION. STB 2005, 47-56.