@misc{indiciae78fb0c8b19bb,
  title = {FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain},
  author = {Jincao Feng and Weikai Miao and Hanyue Zheng and Yihao Huang and Jianwen Li and Zheng Wang and Ting Su and Bin Gu and Geguang Pu and Mengfei Yang and Jifeng He},
  year = {2023},
  url = {https://arxiv.org/abs/2306.01260},
  note = {Source identifier: 2306.01260}
}