A. Demeure, G. Calvary, and K. Coninx. Interactive Systems: Design, Specification, and Verification, 15th International Workshop, DSV-IS 2008, Kingston, Canada, (2008)
P. Cimiano, P. Haase, and J. Heizmann. Proceedings of IUI '07: 12th International Conference on Intelligent User Interfaces, Honolulu, HI, USA, page 180-189. (2007)