Automata dynamics preserved under homomorphism: connectness, reachability, optimality | IEEE Conference Publication | IEEE Xplore