Numerical modeling of thin-film bulk acoustic wave resonators using crank-nicolson finite-difference time- domain method | IEEE Conference Publication | IEEE Xplore