Procedure automation with immediate user notification: A case study | IEEE Conference Publication | IEEE Xplore