R. Alur. Proceedings of the 11th International Conference on Computer Aided Verification (CAV'99), volume 1633 of Lecture Notes in Computer Science, page 8-22. Trento, Italy, Springer, (1999)
K. Nahrstedt, and W. Balke. MULTIMEDIA '04: Proceedings of the 12th annual ACM international conference on Multimedia, page 88--95. New York, NY, USA, ACM, (2004)