Systematic modelling and symbolically assisted simulation of power systems [PowerPoint presentation] | IEEE Conference Publication | IEEE Xplore