この資料をSMS送信: Formal methods for real-time computing / edited by Constance Heitmeyer and Dino Mandrioli.