Runtime Verification - Thao Dang, Volker Stolz (Springer, 2022)