ltl-argus
