Optimization of Discrete Event Systems Using Extended Finite Automata and Mixed-Integer Nonlinear Programming - Thorstensson, Carl; Kanthabhabhajeya, Sathyamyla; Lennartson, Bengt; Falkman, Petter (IFAC Proceedings Volumes (IFAC-PapersOnline), 2011)