EpiSpin: An Eclipse Plug-In for Promela/Spin Using Spoofax. - Bob de Vos; Lennart C. L. Kats; Cornelis Pronk (SPIN, 2011)