Distributed control systems debugging based on global predicates detection | Publicación