Optimal Control of Hybrid Systems by Logic-Based Benders Decomposition | Publicación