"Type Inference of Simulink Hierarchical Block Diagrams in Isabelle."

Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics