Comparison of lumped-element and transmission-line models for thickness-shear-mode quartz resonator sensors