Title: The influence of contract type in program execution/V-22 OSPREY