Tools for Teaching Concurrency with Spin - View it on GitHub