この資料をSMS送信: An architecture supporting safety critical software /