Yes, it did say that NASA people were involved with the ATC software, but didn't say if they had anything to do with the aircraft.
I understood it that NASA are just doing the anti-collision and routes software and not designing the aircraft in any way.
I'd been wondering for a while who was going to develop the route software for these machines. When there's literally hundreds of them buzzing through our skies it's going to need to work well! I assume NASA is more than capable however if there some smart cookies out there in Aus I'd be forming some kind of company and or start on an offering in this area. Those StarWars high ways in the sky are looking more like reality every day.