Modelica model of a car's power window and corresponding FMU