Another model will translate that very reliably into code.
Other models will assist in testing and checking and fleshing out specs.