An SMT-based framework for the formal analysis of Switched Multi-Domain Kirchhoff Networks