Hyperstories: a model to specify and design interactive educational stories | IEEE Conference Publication | IEEE Xplore