Architecting Critical Systems First International Symposium, Prague, Czech Republic, June 23-25, 2010 | EKB DL