rwth.i2.ltlrv.afastate