state_machine_visualization library