yeah, in the case of the second approach it might have to be more of a dialog than a one of translation from requirements, in the same way you might have a dialog with chatGPT to clear up ambiguity.
I have an idea!
Lets refine that.
The device must... The device must not...
There we go.