When authoring multimedia scenarios, and in particular scenarios with user interaction, where the sequence and time of occurrence of interactions is not predefined, it is difficult to guarantee the consistency of the resulting scenarios. As a consequence, the execution of the scenario may result in unexpected behavior or inconsistent use of media. The present paper proposes to use temporal constraint verification techniques in a methodology for checking the temporal integrity of Interactive Multimedia Document scenarios at authoring time at various levels. 1. Introduction An Interactive Multimedia Document (IMD) involves a variety of individual multimedia objects presented according to the IMD scenario. During rendering time, the multimedia objects that participate in the IMD are transformed, either spatially or temporally, in order to be presented according to author's requirements. At authoring time, the author focuses in separate issues of the presentation at different times and ...