Thomas Ball Sriram K. Rajamani Model Checking Software, 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings SPIN Lecture Notes in Computer Science 2648 Springer 2003 3-540-40117-2 db/conf/spin/spin2003.html