Mixed-Integer Real-Time Control of a Building Energy Supply System. - Artyom Burda; Dimitri Bitner; Felix Bestehorn; Christian Kirches; Martin Grotjahn (IEEE Control. Syst. Lett., 2023)