Acknowledgements
A course in a new topic such as runtime verification does not get created without
interaction with other researchers in the field. I will specifically
mention the following people (in alphabetic order) that in some shape or
form have contributed with ideas and contents. I thank these people warmly.