A model of software development process for virtual environments: definition and a case study | IEEE Conference Publication | IEEE Xplore