Retracted: Towards a Formal Approach for Verifying Temporal Coherence in a SMIL Document Presentation - Retracted Article | RetractBase