Trajectories and attractors as specification for the evolution of behaviour in cellular automata | IEEE Conference Publication | IEEE Xplore