Author:
E-mail address:
Temporal formula:
  (Syntax)
Description for automaton:
 
Automaton file (required):
(Supported file formats)