Microlocal Analysis and Precise Spectral Asymptotics