N. ZEGHIB et M. BETTAZ, « CIRTA: A FORMAL LANGUAGE FOR MODULAR ECATNETS SPECIFICATION », STB, nᵒ 24, p. 47–56, déc. 2005.