Zaslat SMS: Asymptotic analysis of models of superconductivity