Verified Retrofits for In-Use Off-Road Diesel Vehicles