"Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers (Lecture Notes in Computer Science Programming and Software Engineering)" - читать интересную книгу автора (Saddek Bensalem, Doron A. Peled)