<dependency>
<groupId>net.automatalib</groupId>
<artifactId>automata-serialization-aut</artifactId>
<version>0.7.1</version>
</dependency>
@Grapes(
@Grab(group='net.automatalib', module='automata-serialization-aut', version='0.7.1')
)