Danilo Ardagna, Michele Ciavotta, Riccardo Lancellotti: A Receding Horizon Approach for the Runtime Management of IaaS Cloud Systems. SYNASC 2014: 445-452