この資料をSMS送信: Safety-critical real-time systems /