00332nas a2200109   4500000000100000000000100001008004100002260003600043100002000079700002600099245009700125       2016                            d  cJune 21-24, 2016aKyiv, Ukraine1 aOleg Ivanchenko1 aVyacheslav Kharchenko00aSemi-Markov Availability Models for an Infrastructure as a Service Cloud with Multiple Pools