Alfred Åkesson, Görel Hedin, Niklas Fors, René Schöne, Johannes Mey: Runtime modeling and analysis of IoT systems. MoDELS (Companion) 2020: 40:1-40:5