Longo, F., R. Ghosh, V. K. Naik, and K. S. Trivedi,  "A scalable availability model for Infrastructure-as-a-Service cloud",  Proceedings of the 41st IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Hong Kong, Hong Kong, 27-30 June 2011, IEEE Computer Society, pp. 335-346, 2011.

Distefano, S., F. Longo, and M. Scarpa,  "Availability assessment of HA standby redundant clusters",  Proceedings of the 29th IEEE Symposium on Reliable Distributed Systems (SRDS), New Delhi, India, 31 October - 3 November 2010, IEEE Computer Society, pp. 265-274, 2010.