On the design of hybrid control systems using automata models | Publicación