Architecting critical systems : First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 Proceedings.