Runtime Verification - Finkbeiner (Springer International Publishing, 2019)