Formal specification of distributed multimedia systems (UCL Press, 1998)