Multi-domain modelling and simulation of an automated manual transmission system based on Modelica. (2015)