Text this: Perturbation Methods and Formal Modeling for Dynamic Systems