“...International SPIN Workshop on Model Checking of Software Los Angeles, Kalifornie)...”