Case Study: Flying a Helicopter on Mars