Automatic generation of CTL-IND automata from yaml configuration file.