Varaiya, P.; Kumar, P. R. Discrete event systems, manufacturing systems, and communication networks P.; Kumar, P. R. Varaiya - New York Springer 1995