Chen Fu, Fu Bing: SDN Protocol Analysis with Process Algebra Method. SmartCom 2016: 95-101