Text this: Specification and Verification of Timing Properties in Interoperable Medical Systems