Ease Standard Compliance by Technical Means via MILS. - Sven Nordhoff; Holger Blasum (MILS, 2017)