D. Reichart, A. Dittmar, P. Forbrig, и M. Wurdel. Interactive Systems: Design, Specification, and Verification, 15th International Workshop, DSV-IS 2008, Kingston, Canada, (2008)
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)
A. Demeure, G. Calvary, и K. Coninx. Interactive Systems: Design, Specification, and Verification, 15th International Workshop, DSV-IS 2008, Kingston, Canada, (2008)