Architectures for mixed-criticality systems based on networked multi-core chips | IEEE Conference Publication | IEEE Xplore