In the past few years, a considerable amount of work has been devoted in modeling different types of NCSs for analysis (stability, controllability, etc.) and design (communication scheduling, controllers, etc.) purposes. Some of the work, produced by different researchers even in different areas of control, presents so many similarities to other work that it is surprising how, so far, all this theory has not been organized in a general unified framework.