%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