Towards a model-driven method for reliable applications: from ideal to realistic transmission semantics.