A New Framework for Discrete-Event Systems (Foundations and Trends(r) in Systems and Control) - Kuize Zhang