Runtime verification past experiences and future projections
scientific article; zbMATH DE number 7474193