publication venue for Co-scheduling on Upcoming Many-Core Architectures 2017 MILS Compliant Software Architecture for Satellites. 2016 Two Architecture Approaches for MILS Systems in Mobility Domains (Automobile, Railway and Avionik) 2015