"Runtime Verification, 8 conf., RV 2008" - читать интересную книгу автора