selected publications conference paper MILS Compliant Software Architecture for Satellites.. High Performance Embedded Architectures and Compilers. 2016