この資料をSMS送信: State-driven architecture design for safety-critical software product lines