GitHub repository: Flobul/IoTCOM
Description: Verifying safety of interactions between IoT apps