@misc{indiciaec972cfbbca1e,
  title = {FASiM: A Framework for Automatic Formal Analysis of Simulink Models of Linear Analog Circuits},
  author = {Adnan Rashid and Ayesha Gauhar and Osman Hasan},
  year = {2020},
  url = {https://arxiv.org/abs/2001.06702},
  note = {Source identifier: 2001.06702}
}