Chương trình theo www.techjava.de/projects/etla-plugin/

TLA + Eclipse IDE plugin. Tích hợp ngôn ngữ định nghĩa chính thức 'Logic thời gian của hành động' để xác định các hệ thống trong Eclipse IDE