Toward Synthesis of Network Updates. - Andrew Noyes; Todd Warszawski; Pavol Cerný; Nate Foster (SYNT, 2013)