Balakrishnan, Hamsa, Khadilkar, Harshad, Park, Pangun, Tomlin, Claire. “High Confidence Networked Control for Next Generation Air Transportation Systems” IEEE Transactions on Automatic Control [00189286] 59.12 (2014): 3357-3372. Print.