The Design of a COTS Real-Time Distributed Security Kernel - Miguel Correia (2001)