%0 Conference Paper %B ICTERI 2016 %C Kyiv, Ukraine %D 2016 %G eng %T Semi-Markov Availability Models for an Infrastructure as a Service Cloud with Multiple Pools %8 June 21-24, 2016