Architecting Critical Systems : First International Symposium, Prague, Czech Republic, June 23-25, 2010 - Holger Giese ((Lecture Notes in Computer Science))