An environment for representing and using medical checklists on mobile devices | IEEE Conference Publication | IEEE Xplore