November 2010. “A Sample of the U.S. Academic Community’s View on NextGen Research Needs,” Networking and Information Technology Research and Development (NITRD) Committee High-Confidence Software Systems (HCSS) Aviation Meeting, National Science Foundation, Arlington, VA.