Text this: Formalization of timing diagram using net theory for asynchronous circuit design /