SafeTEE: Combining Safety and Security on ARM-based Microcontrollers | IEEE Conference Publication | IEEE Xplore