A. Blandford, P. Curzon, J. Hyde, и G. Papatzanis. Interactive Systems: Design, Specification, and Verification, 15th International Workshop, DSV-IS 2008, Kingston, Canada, (2008)
A. Demeure, G. Calvary, и K. Coninx. Interactive Systems: Design, Specification, and Verification, 15th International Workshop, DSV-IS 2008, Kingston, Canada, (2008)
A. Garc\'ıa Frey, G. Calvary, и S. Dupuy-Chessa. Proceedings of the 2nd ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '10), Berlin, Germany, стр. 41-46. New York, ACM, (2010)
F. Jourde, Y. Laurillau, A. Moran, и L. Nigay. Interactive Systems: Design, Specification, and Verification, 15th International Workshop, DSV-IS 2008, Kingston, Canada, стр. 281-286. (2008)
P. Suàrez, B. Jùnior, и M. de Barros. TAMODIA '04: Proceedings of the 3rd Annual Conference on Task Models and Diagrams, Prague, Czech Republic, стр. 113-120. (2004)
P. Bihler, M. Fotsing, G. Kniesel, и C. Joffroy. iiWAS '08: Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services, Linz, Austria, стр. 677-680. (2008)