Stav dette: An assessment of space shuttle flight software development processes /