Text this: A contract negotiation scheme for safety verification of interconnected systems