Programas por www.techjava.de/projects/etla-plugin/

TLA+ Eclipse IDE plugin. Integración del lenguaje de definición formal 'Lógica temporal de acciones' para especificar sistemas en Eclipse IDE