Design concepts for a virtualizable embedded mpsoc architecture : enabling virtualization in embedded multi-pocessor systems (2014)