Pulse-Sequence Design In Solid-State Nmr Using Floquet Theory