A model-based approach to reliability certification of services