An authoring system for intelligent procedural-skill tutors | IEEE Journals & Magazine | IEEE Xplore