Drupal-Bibcite31<style face="normal" font="default" size="100%">Semi-Markov Availability Models for an Infrastructure as a Service Cloud with Multiple Pools</style><style face="normal" font="default" size="100%">Semi-Markov Availability Models for an Infrastructure as a Service Cloud with Multiple Pools</style>