E. Emerson, and K. Namjoshi. LICS '98: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science, page 70. Washington, DC, USA, IEEE Computer Society, (1998)
E. Emerson, and K. Namjoshi. POPL '95: Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, page 85--94. New York, NY, USA, ACM, (1995)
P. Quitslund, E. Murphy-Hill, and A. Black. eclipse '04: Proceedings of the 2004 OOPSLA workshop on eclipse technology
eXchange, page 37--41. New York, NY, USA, ACM, (2004)
E. Murphy-Hill, P. Quitslund, and A. Black. OOPSLA '05: Companion to the 20th annual ACM SIGPLAN conference on
Object-oriented programming, systems, languages, and applications, page 282--291. New York, NY, USA, ACM, (2005)
L. Coyle, J. Ye, E. Loureiro, S. Knox, S. Dobson, and P. Nixon. In USE 07: Workshop on Ubiquitous Systems Evaluation, Innsbruck,
Austria, 2007. UbiComp 2007 Workshop Proceedings, page 292--296. (September 2007)
E. Emerson, A. Mok, A. Sistla, and J. Srinivasan. CAV 90: Computer-aided Verification, volume 531 of Lecture Notes in Computer Science, Springer Verlag, New York, (1990)