BSC-oriented process management system task formalization for resort and spa sphere economic units | IEEE Conference Publication | IEEE Xplore