Security Type Checking for MILS-AADL Specifications. - Kevin van der Pol; Thomas Noll 001 (MILS@HiPEAC, 2015)