Modelling self-timed pipelines using Dataflow Structures