selected publications conference paper Specification and design of an industrial manufacturing middleware 2017