Superefficient Variational Image Registration for Embedded Systems