"Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings " - читать интересную книгу автора (Thomas Ball, Sriram K. Rajamani)