'de.hhu.stups:ltlparser:2.4.40'
<dependency>
<groupId>de.hhu.stups</groupId>
<artifactId>ltlparser</artifactId>
<version>2.4.40</version>
</dependency>
<dependency org="de.hhu.stups" name="ltlparser" rev="2.4.40"/>
"de.hhu.stups", "ltlparser", "2.4.40"