High-Level Model for Educational Collaborative Virtual Environments Development | IEEE Conference Publication | IEEE Xplore