Mixed-Integer Real-Time Control of a Building Energy Supply System | IEEE Journals & Magazine | IEEE Xplore