"New Methods of Concurrent Checking (Frontiers in Electronic Testing)" - читать интересную книгу автора (Michael Goessel, Vitaly Ocheretny, Egor Sogomonyan, Daniel Marienfeld)