Performability modeling and cost-benefit analysis for decision-making systems with supervising mechanisms