Using the REDEEM ITS authoring environment in naval training | IEEE Conference Publication | IEEE Xplore