ParameterizedNewtonsCradleAnimatedNondeterministic

Look inside the ModalModel to see how this is implemented.

ParameterizedNewtonsCradleAnimatedNondeterministic is available as: