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. In IEEE International Symposium on Systems Engineering, ISSE 2016, Edinburgh, United Kingdom, October 3-5, 2016. pages 1-8, IEEE, 2016. [doi]
Abstract is missing.