DEKG-Manager: formative evaluation in teaching dynamic electrocardiography | IEEE Conference Publication | IEEE Xplore