Specification-Based Monitoring in C++. - Havelund, Klaus (2022)