Predictable and Efficient Virtual Addressing for Safety-Critical Real-Time Systems. - M. D. Bennett; Neil C. Audsley (ECRTS, 2001)