Toward a model-based approach to the specification of virtual reality environments | IEEE Conference Publication | IEEE Xplore