この資料をSMS送信: Summary of a workshop on software certification and dependability /