HMI-guard: A platform for detecting errors in human-machine interfaces | IEEE Conference Publication | IEEE Xplore