Vacuum mechatronics - Beni, Gerardo (Artech House, 1990)