On the correctness of multimedia applications. - Erwan Demairy; Emmanuelle Anceaume; Valérie Issarny (ECRTS, 1999)