Model Checking Software - 19th International Workshop, SPIN 2012