Evans, C., & Robson, E. W. (2023). automata: A Python package for simulating and manipulating automata. Journal of Open Source Software, 8(90), 5759. https://doi.org/10.21105/joss.05759