I passed the Ph.D. dissertation defense. My deepest gratitude to all those who supported and helped me, especially to my mentors and advisors: Prof. Jim Hendler and Prof. Dakuo Wang