Runtime verification with minimal intrusion through parallelism
scientific article; zbMATH DE number 6502573