A non-linear simulation model of an active magnetic bearings supported rotor system | IEEE Conference Publication | IEEE Xplore