Modelling and implementation of automata-based hierarchical discrete-event controllers using the B-method | IEEE Conference Publication | IEEE Xplore