Yosr Jarraya, Arash Eghtesadi, Mourad Debbabi, Ying Zhang, Makan Pourzandi: Formal Verification of Security Preservation for Migrating Virtual Machines in the Cloud. SSS 2012: 111-125