NetEgg: A Scenario-Based Programming Toolkit for SDN Policies. - Yifei Yuan 001; Dong Lin; Siri Anil; Harsh Verma; Anirudh Chelluri; Rajeev Alur; Boon Thau Loo (IEEE/ACM Trans. Netw., 2018)