Book

Lectures on Runtime Verification

by Ezio Bartocci, Yliès Falcone