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