Runtime verification monitoring for automotive embedded systems using the ISO 26262 Functional Safety Standard as a guide for the definition of the monitored properties Breadcrumbs UL Home Research Publications Year of Publication 2014 Journal IET Software DOI 10.1049/iet-sen.2013.0236