Alexander Shraer;Rüdiger Kapitza
Google, Inc.;TU Braunschweig
Verifying cloud services: present and future
ACM SIGOPS Operating Systems Review