Inputs
Add input with values
Outputs
Add output with values
States
Add state with outputs
Set start state to be state with name
Transitions
Add transition from to for input values
Checks
Is automaton correctly specified?
Export specification