* Better implementation of the FTA generator, ready
   to integrate behavior aspects.