Component-based software engineering 13th international symposium, CBSE 2010, Prague, Czech Republic, june 23-25, 2010, proceedings (Springer, 2010)