Panda, A., Lahav, O., Argyraki, K.J., Sagiv, M. and Shenker, S. Verifying Isolation Properties in the Presence of Middleboxes. CoRR. abs/1409.7687.