Automatic discretization of signal machines into cellular automata. (Modal Systematics). - Amine Beyhom (2003)