Investigation of the effect of finite pulse errors on the BABA pulse sequence using the Floquet–Magnus expansion approach