@misc{misc, title = {{Refinement of communication and states in models of embedded systems}}, url = {{}}, year = {{-0001}}, month = {{11}}, author = {{Beohar H}}, note = {{Accessed on 2024/12/23}}}