On formal cyber physical system properties modeling: A new temporal logic language and a Modelica-based solution | IEEE Conference Publication | IEEE Xplore