%0 Journal Article %T Mexitl: Multimedia in Executable Interval Temporal Logic %A Bowman, Howard %A Cameron, Helen %A King, Peter %A Thompson, Simon %J Formal Methods in System Design %V 22 %N 1 %P 5-38 %@ 0925-9856 %D 2004-10-06 %I Kluwer Academic Publishers %~ DeepDyve