Towards a Modelling and Design Framework for Mixed-Criticality SoCs and Systems-of-Systems | IEEE Conference Publication | IEEE Xplore