Erratum: Towards a Formal Approach for Verifying Temporal Coherence in a SMIL Document Presentation - Retraction Notice | RetractBase