I am reading a paper published in Modelica2008 "A new Approach for Modeling and Verification of Discrete Control Components within a Modelica Environment". I am intersted in the example in this paper but there is a component which i can't found. The Paper is here
A part of the model is :

I found the Screw model in the ModelicaAddition Library which works with modelica 2.2.1
I can't found the BallScrewDrive component. Where i can found it? in which library ?
Thanks a lot!
Regards,
Hassen
