Using a Task Modeling Formalism in the Design of Serious Games for Emergency Medical Procedures | IEEE Conference Publication | IEEE Xplore