"Semi-Markov Availability Models for an Infrastructure as a Service Cloud with Multiple Pools." In ICTERI 2016. Kyiv, Ukraine, 2016.