Alfredo Garro, Andrea Tundis, Daniel Bouskela, Audrey Jardin, Nguyen Thuy, Martin Otter, Lena Buffoni, Peter Fritzson, Martin Sjölund, Wladimir Schamai, Hans Olsson: On formal cyber physical system properties modeling: A new temporal logic language and a Modelica-based solution. ISSE 2016: 1-8