That’s exactly why I developed this: https://github.com/bertilmuth/requirementsascode. I contrasted it with state machines here: https://dev.to/bertilmuth/kissing-the-state-machine-goodbye-34n9