Runtime Verification - Legay, Axel; Bensalem, Saddek; Bensalem, Saddek (Springer Berlin Heidelberg, 2013)