Theoretical Modeling of Quartz Resonator Pressure Transducers