A modular and verifiable software architecture for interconnected medical systems in intensive care. - Marc Wiartalla; Frederik Berg; Florian Ottersbach; Jan Kühn; Mateusz Buglowski; Stefan Kowalewski; André Stollenwerk (FedCSIS (Communication Papers), 2023)