Runtime Verification - 17 Years Later. - Havelund, Klaus; Rosu, Grigore (2018)