Runtime Verification - Falcone, Ylies. Sanchez, Cesar; Sánchez, César (Springer International Publishing, 2016)