द्वारा कार्यक्रम www.techjava.de/projects/etla-plugin/

TLA + ग्रहण आईडीई प्लगइन। ग्रहण आईडीई में सिस्टम निर्दिष्ट करने के लिए औपचारिक परिभाषा भाषा 'कार्यों के लौकिक तर्क' का एकीकरण