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