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