Abstractions for Mechanical Systems