Modeling of a fault-tolerant electromechanical actuation system for helicopters using Modelica | IEEE Conference Publication | IEEE Xplore