Text this: Symbolic Analysis of Dynamical Systems