Text this: A modular and verifiable software architecture for interconnected medical systems in intensive care