@misc{indiciae6a7191443398,
  title = {Type Inference of Simulink Hierarchical Block Diagrams in Isabelle},
  author = {Viorel Preoteasa and Iulia Dragomir and Stavros Tripakis},
  year = {2017},
  url = {https://arxiv.org/abs/1612.05494},
  note = {Source identifier: 1612.05494}
}