Making DNS Servers Resistant to Cyber Attacks: An Empirical Study on Formal Methods and Performance. - Barry S. Fagin; Bradley Klanderman; Martin C. Carlisle (COMPSAC (2), 2017)