Smart checklists for human-intensive medical systems | IEEE Conference Publication | IEEE Xplore