Refactor State Machine Specification#60

nlordell merged 4 commits intomainsafe-research/shieldnet:mainfrom

pr/state-machine-spec-v2safe-research/shieldnet:pr/state-machine-spec-v2Copy head branch name to clipboard