Quantitative theoretical and experimental analysis of alloying from screen-printed aluminum pastes on silicon surfaces