Donal Heffernan Shehryar Shaheen C. Watterson Monitoring embedded software timing properties with an SoC-resident monitor. 140-153 2009 3 IET Software 2 http://dx.doi.org/10.1049/iet-sen.2008.0040 db/journals/iee/iet-s3.html#HeffernanSW09