A Model-based Approach to Certification of Adaptive MILS. - Dorien Koelemeijer; Rasma Araby; Ayoub Nouri; Marius Bozga; Rance DeLong (MILS@DSN, 2018)