Behaviour and Refinement of Port-Based Components with Synchronous and Asynchronous Communication by Stephan Janisch