Saan, S., Schwarz, M., Erhard, J., Tilscher, S., Holter, K., Vogler, R., Apinis, K., & Vojdani, V. Goblint [Computer software]. https://doi.org/10.5281/zenodo.5735006