Diplas, K., A. Kameas, and P. Pintelas,  "The interaction specification workspace:specifying and designing the interaction issues of virtual reality training environments from within",  Proceedings of the 4th Eurographics Workshop on Design,Specification and Verification of Interactive Systems (DSVIS97), Granada, Spain, pp. 269-287, 4-6 June, 1997.