Formal Approach for the Coherence Control of SMIL Documents. - S. Mazouz; Djamila Dahmani; L. Kaddouri (Int. J. Comput. Sci. Appl., 2006)