Part 2: From textual requirements to model and to textual requirements again

Round-tripping requirements: extracting structure from prose, formalizing in the model, and regenerating a specification that traces back.