This book constitutes the refereed proceedings of the First International Symposium on Dependable...