Correct-by-construction requirement decomposition. - Sun, Minghui; Bakirtzis, Georgios; Jafarzadeh, Hassan; Fleming, Cody (Software & Systems Modeling, 2026)