Abuteir, Mohammed: Architecture design for distributed mixed-criticality systems based on multi-core chips. 2017