https://1library.org/document/y6xkdwgy-symbolic-computation-of-variational-symmetries-in-optimal-control.html