Runtime Verification for Interconnected Medical Devices. - Martin Leucker; Malte Schmitz 001; Danilo à Tellinghusen (ISoLA (2), 2016)