Model Checking Software 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004. Proceedings - Graf, Susanne; Mounier, Laurent (Springer Berlin Heidelberg, 2004)