/bin/
*.l2s
*.y2g
*.g2u
*.lgsm
*.gsts
*.uppaal