A graphical specification tool for decentralized warehouse control systems door H.L. Liang