<dependency>
<groupId>de.hhu.stups</groupId>
<artifactId>tla2bAST</artifactId>
<version>1.0.8</version>
</dependency>
compile
|-- de.hhu.stups:bparser:2.5.1
|-- de.hhu.stups:parserbase:2.5.1
|-- commons-cli:commons-cli:1.2
|-- de.hhu.stups:tlatools:1.0.2
|-- de.hhu.stups:ltlparser:2.5.1
|-- de.hhu.stups:prologlib:2.5.1
test
|-- junit:junit:4.12