Text this: Formal Model for Checking the Interoperability Between the Components of the IoT system