Mordechai Ben-Ari Tool Presentation: Teaching Concurrency and Model Checking. 6-11 2009 SPIN https://doi.org/10.1007/978-3-642-02652-2_5 conf/spin/2009 db/conf/spin/spin2009.html#Ben-Ari09