Toward a Complex Automata Formalism for Multi-Scale Modeling