Files
tla_visualiser/simulate_workflow.sh