2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering