A compositional modelling approach for live migration in Software Defined Networks | IEEE Conference Publication | IEEE Xplore