Doveri, K., Ganty, P., Parolini, F., & Ranzato, F. (2021). bait - Büchi Automata Inclusion Tester (Version 0.1) [Computer software]