Specification and Verification of Timing Properties in Interoperable Medical Systems (Logical Methods in Computer Science, 2022)