Towards a compositional analysis of multi-machine power systems transient stability | IEEE Conference Publication | IEEE Xplore