Engineering Digital Twins with Statecharts: A Smart Home Application. - Sahil Salma; Zenan Zha; Protik Mukherjee; Sadaf Mustafiz (MODELS-C, 2025)