@article {LMSMG11, 
	title = {From Theory to Practice: Efficiently Checking BGP Configurations for Guaranteed Convergence},
	journal = {IEEE Transaction on Network and Service Management},
	volume = {8},
	number = {4},
	pages = {387-400},
	author = {Luca Cittadini and Massimo Rimondini and Stefano Vissicchio and Matteo Corea and Giuseppe Di Battista},
	year = {2011},
	month = {December},
}