Formal specifications for software-defined networking. - Miyoung Kang; Ki-Hyuk Nam; Junkil Park; Myung-Ki Shin; Jeehoon Shin; Jin-Young Choi (CFI, 2012)