The Defense Advanced Research Projects Agency (DARPA) has selected Rockwell Collins to use mathematics-based development methods to...