TY  - RPRT
TI  - Correct-by-construction requirement decomposition
AU  - Minghui Sun
AU  - Georgios Bakirtzis
AU  - Hassan Jafarzadeh
AU  - Cody Fleming
PY  - 2025
DO  - 10.1007/s10270-025-01291-4
UR  - https://arxiv.org/abs/1909.02070
ID  - 1909.02070
ER  -