Our contribution "Mixed-Integer Real-time Control of a Building Energy Supply System" (A. Burda, D. Bitner, F. Bestehorn, C. Kirches, M. Grotjahn) has been accepted for publication in IEEE Control Systems Letters.