Using a Formal Method to Verify the Temporal Semantics of SMIL Documents
Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique
Celso Alberto Saibel Santos
Paulo Nazareno Maia Sampaio