Buffy: A Formal Language-Based Framework for Network Performance Analysis. - Amir Seyhani; Junyi Zhao; Aarti Gupta; David Walker 001; Mina Tahmasbi Arashloo (HotNets, 2024)