Nick Feamster Hari Balakrishnan Detecting BGP Configuration Faults with Static Analysis (Awarded Best Paper). 2005 conf/nsdi/2005 NSDI http://www.usenix.org/events/nsdi05/tech/feamster.html db/conf/nsdi/nsdi2005.html#FeamsterB05