Modeling and Control of Logical Discrete Event Systems,
R. Kumar and V. K. Garg,