Perturbation Methods and Formal Modeling for Dynamic Systems - Saeed Islam; Sher Afzal Khan; Gul Zaman; Il Hyo Jung (Abstract and Applied Analysis)