Checking linear duration invariants by linear programming | Publicación