GitHub repository: Autom-A/AutomA-Toolbox
Description: Some useful tools and scripts for AutomA