Programma's van www.techjava.de/projects/etla-plugin/

TLA+ Eclipse IDE plugin. Integratie van formele definitietaal 'Temporal Logic of Actions' voor het specificeren van systemen in Eclipse IDE