Modeling And Control Of Discrete-Event Dynamic Systems by Branislav Hruz & Zhou Mengchu Zhou