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