Architecting critical systems first international symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 : proceedings / - Giese, Holger. (Springer,)