Avionics System Design: Learning from the Florida Recount