TEAVAR: striking the right utilization-availability balance in WAN traffic engineering. - Jeremy Bogle; Nikhil Bhatia; Manya Ghobadi; Ishai Menache; Nikolaj S. Bjørner; Asaf Valadarsky; Michael Schapira (SIGCOMM, 2019)