Modeling And Control Of Logical Discrete Event Systems by Vijay K. Garg & Ratnesh Kumar