Eclipse Plug-In for Spin and st2msc Tools-Tool Presentation. - Tim Kovse; Bostjan Vlaovic; Aleksander Vreze; Zmago Brezocnik (SPIN, 2009)