And Computer Sciences Corp has been awarded a $134m contract by IBM to provide software and related services as part of IBM’s giant $3,600m Advanced Automation System air traffic control contract with the US Federal Aviation Administration.