Hiskens, Sokolowski, 2001. Systematic Modeling and Symbolically Assisted Simulation of Power Systems 21.. https://doi.org/10.1109/mper.2001.4311383