Modelling and implementation of automata-based hierarchical discrete-event controllers using the B-method. - Noe Campos; Arturo Sanchez (ETFA, 2011)