This paper represents the status of my PhD in late 2007. It presents the motivation, research questions (and accordingly the hypothesis), the approach, and what has been achieve so far.