Formal techniques improve connectivity in supervisory systems | Publicación