Modeling and Simulation of Electrical Machine Systems Through Bond Graphs and the Complementarity Framework | IEEE Conference Publication | IEEE Xplore