1. Cornell University & IC3, Ithaca, NY, USA
2. Massachusetts Institute of Technology, Cambridge, MA, USA
3. VMware Research, Herzliya, Israel
4. Calibra, Menlo Park, CA, USA
5. University of North Carolina at Chapel Hill & VMware Research, Chapel Hill, NC, USA