Model Abstraction In Dynamical Systems by Pushkin Kachroo & Patricia Mellodge