أرسل هذا في رسالة قصيرة: Formalization of timing diagram using net theory for asynchronous circuit design /