Tsigkanos, Kehrer, Ghezzi, 2017. Modeling and verification of evolving cyber-physical spaces, in: . ACM Press.. https://doi.org/10.1145/3106237.3106299