Decentralized execution of Sequential Function Charts | Publicación