StrikePy: nonlinear observability analysis of inputs, states, and parameters in Python | Publicación