@misc{indiciaec855e1079735,
  title = {Towards Practical Requirement Analysis and Verification: A Case Study on Software IP Components in Aerospace Embedded Systems},
  author = {Zhi Ma and Cheng Wen and Jie Su and Ming Zhao and Bin Yu and Xu Lu and Cong Tian},
  year = {2024},
  url = {https://arxiv.org/abs/2404.00795},
  note = {Source identifier: 2404.00795}
}