Jong Chul Lee, Roman Lysecky. System Observation of Blocking, Non-blocking, and Cascading Events for Runtime Monitoring of Real-Time Systems. In Jerzy W. Rozenblit, editor, 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems, ECBS 2013, Scottsdale, AZ, USA, April 22-24, 2013. pages 49-58, IEEE, 2013. [doi]
Abstract is missing.