Runtime Verificationde Shaz Qadeer, Serdar TasiranEdiciones (1)Runtime Verification (2013)Springer · ISBN 9783642356339