Non-Interference Analysis for Mixed Criticality Code in Avionics Systems. - Mike G. Hill; Thomas W. Lake (ASE, 2000)