Refinement of communication and states in models of embedded systems door