ScalaSEM: Scalable validation of SDN design with deployable code | IEEE Conference Publication | IEEE Xplore