Local de publicação venue para Towards a TrustZone-assisted hypervisor for real-time embedded systems 2017 On-chip message passing sub-system for embedded inter-domain communication 2016