General and specific formalization approach for a Balanced Scorecard: An expert system with application in health care · Study