On Verification of Designed Energy Systems Using Distributed Co-Simulations. - Anselm Erdmann; Anna Marcellan; Dominik Hering; Michael Suriyah; Carolin Ulbrich; Martin Henke; André Xhonneux; Dirk Müller 005; Rutger Schlatmann; Veit Hagenmeyer (DS-RT, 2020)