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