DyST: Dynamic Specification Mining for Heterogenous IoT Systems with WoT. - Ege Korkan; Silvia Oliva Ramirez; Sebastian Steinhorst (ICWE, 2024)