发送短信 : Formalization of timing diagram using net theory for asynchronous circuit design /