프로그램별 www.techjava.de/projects/etla-plugin/

eTLA 무료

TLA + 이클립스 IDE 플러그인. 이클립스 IDE에서 시스템을 지정하기 위한 형식 정의 언어 '행동의 시간 논리' 통합