Model checking software 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 ; proceedings (Springer, 2003)