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