The DynAlloy Visualizer. - Pablo Bendersky; Juan Pablo Galeotti; Diego Garbervetsky (LAFM, 2013)