Forming mental models in learning operating procedures for terminal equipment | IEEE Journals & Magazine | IEEE Xplore