Automated verification of virtualized infrastructuresSören BleikertzThomas GrosZet al.2011CCS 2011Workshop paper