Design of an authoring tool for producing user-adaptive educational material | IEEE Conference Publication | IEEE Xplore