An application of software design methods to manufacturing systems supervision and control | IEEE Conference Publication | IEEE Xplore