Runtime Verification - Bernd Finkbeiner, Leonardo Mariani (Springer, 2019)