Modified version of the TLA+ tools for usage in ProB
'de.hhu.stups:tlatools:1.0.0'
<dependency> <groupId>de.hhu.stups</groupId> <artifactId>tlatools</artifactId> <version>1.0.0</version> </dependency>
<dependency org="de.hhu.stups" name="tlatools" rev="1.0.0"/>
"de.hhu.stups", "tlatools", "1.0.0"