Static Inference of Transmission Data Sizes in Distributed Systems | Publicación