*.lps
*.aut
*.lts
*.fsm
*.dot
*.pbes
*.bes
