Alastair F. Donaldson David Parker Model Checking Software - 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings 7385 2012 Springer Lecture Notes in Computer Science http://dx.doi.org/10.1007/978-3-642-31759-0 978-3-642-31758-3 SPIN db/conf/spin/spin2012.html