Aleksandar Milenkovic Milena Milenkovic Emil Jovanov An efficient runtime instruction block verification for secure embedded systems. 57-76 2006 2 J. Embedded Computing 1 http://iospress.metapress.com/content/f5gn6jk8mvm53jjt/ db/journals/jec/jec2.html#MilenkovicMJ06