Functional modeling of business processes for development of control and monitoring systems | IEEE Conference Publication | IEEE Xplore