Integrating balanced scorecard domain formalization with underlying project plan formalization | IEEE Conference Publication | IEEE Xplore