Arjun Guha, Mark Reitblatt, Nate Foster: Machine-verified network controllers. PLDI 2013: 483-494