Isabelle Puaut David Decotigny Low-Complexity Algorithms for Static Cache Locking in Multitasking Hard Real-Time Systems. 114-123 2002 IEEE Real-Time Systems Symposium http://computer.org/proceedings/rtss/1851/18510114abs.htm db/conf/rtss/rtss2002.html#PuautD02