Architecting Critical Systems First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 Proceedings - Giese, Holger (Springer Berlin Heidelberg, 2010)