adiabatic limit, semi-classical analysis, Landau-Zener
formula, avoided crossings, pseudo-differential operators