A divide-and-conquer strategy for qualitative simulation of complex dynamical systems