Jack Whitham Neil C. Audsley Implementing time-predictable load and store operations. 265-274 2009 EMSOFT https://doi.org/10.1145/1629335.1629371 conf/emsoft/2009 db/conf/emsoft/emsoft2009.html#WhithamA09