A knowledge-based system for the analysis of electrical networks