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

Enhancing the Cyber Resilience of Critical Infrastructures through an Evaluation Methodology Based on Assurance Cases. - Dorien Koelemeijer (KES, 2018)