この資料をSMS送信: Extracting simulation models from complex industrial real-time systems