Modeling miniaturized piezoelectric ultrasound transducers: comparison of lumped and finite element models | IEEE Conference Publication | IEEE Xplore