An Application of Software Design Methods to Manufacturing Systems Supervision and Control