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