Identifiability and observability analysis for experimental design in nonlinear dynamical models | Synapse