Using genetic algorithms for the construction of a space mission automaton | IEEE Conference Publication | IEEE Xplore