publication venue for Development of a unified agents- and supervisory control theory based manufacturing control system 2018