A Taxonomy of Forcing Functions for Addressing Human Errors in Human-machine Interaction | IEEE Conference Publication | IEEE Xplore