Stav dette: Asymptotic analysis of models of superconductivity