この資料をSMS送信: Hierarchical annotated action diagrams : an interface-oriented specification and verification method / E. Cerny [and others].