Kovše, T., Vlaovič, B., Vreže, A., Brezočnik, Z.: Eclipse Plug-In for Spin and st2msc Tools - Tool Presentation. In: Păsăreanu, C.S. (ed.) SPIN 2009. LNCS, vol. 5578, pp. 143-147. Springer, Heidelberg (2009), http://spinroot.com/spin/Workshops/ws09/Kovse.pdf.