Companies based in Richardson, Texas.