MOFA: a model for fault and availability in complex services | IEEE Journals & Magazine | IEEE Xplore