Modeling and control of logical discrete event systems - Kumar, Ratnesh (The Kluwer internatioanl series in engineering and computer science. Discrete event dynamic systems, 1995)