F. Jourde, Y. Laurillau, A. Moran, and L. Nigay. Interactive Systems: Design, Specification, and Verification, 15th International Workshop, DSV-IS 2008, Kingston, Canada, page 281-286. (2008)
A. Garc\'ıa Frey, G. Calvary, and S. Dupuy-Chessa. Proceedings of the 2nd ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '10), Berlin, Germany, page 41-46. New York, ACM, (2010)
B. Dumas, D. Lalanne, D. Guinard, R. Koenig, and R. Ingold. TEI '08: Proceedings of the 2nd International Conference on Tangible and Embedded Interaction, Bonn, Germany, page 47-54. (2008)