Implicit Jacobian for linearised state estimation in nonlinear systems | Synapse