Runtime Verification - Finkbeiner; Mariani, Leonardo (Springer International Publishing, 2019)