The Safety Specifications of Raised Vehicles