scenario cross3ltl