Watterson, Heffernan, 2007. Runtime verification and monitoring of embedded systems.. https://doi.org/10.1049/iet-sen:20060076