@inproceedings {278376,
	author = {Ryan Beckett and Aarti Gupta},
	title = {Katra: Realtime Verification for Multilayer Networks},
	booktitle = {19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22)},
	year = {2022},
	isbn = {978-1-939133-27-4},
	address = {Renton, WA},
	pages = {617--634},
	url = {https://www.usenix.org/conference/nsdi22/presentation/beckett},
	publisher = {USENIX Association},
	month = apr
}
