The Pentagon uses software designed by a spin-off of USC