@misc{indiciae2ab08393b365,
  title = {Correct-by-construction requirement decomposition},
  author = {Minghui Sun and Georgios Bakirtzis and Hassan Jafarzadeh and Cody Fleming},
  year = {2025},
  doi = {10.1007/s10270-025-01291-4},
  url = {https://arxiv.org/abs/1909.02070},
  note = {Source identifier: 1909.02070}
}