Task decomposition methodology for the design of a coal mining automation hierarchical real-time control system | IEEE Conference Publication | IEEE Xplore