Implications of Formal Verification and Modeling Tools for Performing Operational Profile-based Testing of VR Tourism Systems Design | IEEE Conference Publication | IEEE Xplore