HR-TECS: Component technology for embedded systems with memory protection | IEEE Conference Publication | IEEE Xplore