MILS Compliant Software Architecture for Satellites. - Hans-Jürgen Herpel; M. Kerep; G. Montano; Knut Eckstein; M. Schön; A. Krutak (MILS@HiPEAC, 2016)