Type Inference of Simulink Hierarchical Block Diagrams in Isabelle | Publicación