@misc{indiciaec97040305f2f,
  title = {SMT-Based Model Checking of Industrial Simulink Models},
  author = {Daisuke Ishii and Takashi Tomita and Toshiaki Aoki and The Quyen Ngo and Thi Bich Ngoc Do and Hideaki Takai},
  year = {2022},
  url = {https://arxiv.org/abs/2206.02992},
  note = {Source identifier: 2206.02992}
}