I would like to model a soccer player kicking a ball. Papers by Michael Otter et al indicate that contact dynamics suitable for this problem were included in the Modelica MultiBody library around 2005, but colleagues of mine who use Modelica are not so sure. Does OpenModelica support Otter's (or anyone else's) collision detection and contact modeling?