SAFEPOWER project: Architecture for safe and power-efficient mixed-criticality systems Academic Article