Runtime verification and monitoring of embedded systems. - C. Watterson; Donal Heffernan (IET Softw., 2007)

Monitoring embedded software timing properties with an SoC-resident monitor. - Donal Heffernan; Shehryar Shaheen; C. Watterson (IET Softw., 2009)