Translating Hierarchical Block Diagrams into Composite Predicate Transformers | Publicación