Yosr Jarraya, Arash Eghtesadi, Sahba Sadri, Mourad Debbabi, Makan Pourzandi: Verification of firewall reconfiguration for virtual machines migrations in the cloud. Comput. Networks 93: 480-491 (2015)