Model Checking Software : 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings - Thomas Ball, Sriram K. Rajamani ((Lecture Notes in Computer Science))