Clementine flight software, a case study