この資料をSMS送信: Distinguishing automata machine by using UPPAAL as a model checker