On-Chip Instrumentation for Runtime Verification in Deeply Embedded Processors | IEEE Conference Publication | IEEE Xplore