1. Automata for modeling real-time systems;Alur,1990
2. A common framework for automata theory and control theory;Arbib;Journal Society of Industrial and Applied Mathematics (SIAM) Series A, Control,1965
3. Controlling behaviours of systems: some basic concepts and some applications;Arnold,1980
4. Automated service composition via supervisory control theory;Atampore,2016
5. Optimal Control: An Introduction to the Theory and its Applications;Athans,1966