TREM: trustworthy and reliable embedded middleware model | IEEE Conference Publication | IEEE Xplore