{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,29]],"date-time":"2025-10-29T02:52:47Z","timestamp":1761706367334,"version":"3.28.0"},"reference-count":31,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,10]]},"DOI":"10.1109\/syseng.2016.7753137","type":"proceedings-article","created":{"date-parts":[[2016,11,24]],"date-time":"2016-11-24T21:42:19Z","timestamp":1480023739000},"page":"1-8","source":"Crossref","is-referenced-by-count":19,"title":["On formal cyber physical system properties modeling: A new temporal logic language and a Modelica-based solution"],"prefix":"10.1109","author":[{"given":"Alfredo","family":"Garro","sequence":"first","affiliation":[]},{"given":"Andrea","family":"Tundis","sequence":"additional","affiliation":[]},{"given":"Daniel","family":"Bouskela","sequence":"additional","affiliation":[]},{"given":"Audrey","family":"Jardin","sequence":"additional","affiliation":[]},{"given":"Nguyen","family":"Thuy","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Otter","sequence":"additional","affiliation":[]},{"given":"Lena","family":"Buffoni","sequence":"additional","affiliation":[]},{"given":"Peter","family":"Fritzson","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Sjolund","sequence":"additional","affiliation":[]},{"given":"Wladimir","family":"Schamai","sequence":"additional","affiliation":[]},{"given":"Hans","family":"Olsson","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.3384\/ecp15118491"},{"year":"0","key":"ref30"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.3384\/ecp140961227"},{"journal-title":"Language Specification Version 3 3 Revision 1","article-title":"Modelica, A Unified Object-Oriented Language for Systems Modeling","year":"2014","key":"ref11"},{"year":"0","key":"ref12"},{"year":"0","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2006.01.008"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.3384\/ecp15118245"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/EPEC.2015.7379958"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/290133.290145"},{"key":"ref18","article-title":"Formal Verification","author":"wu","year":"1999","journal-title":"CIS 841 Web Book"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-7518-7_8"},{"year":"0","key":"ref28"},{"journal-title":"Object Management Group (OMG)","year":"0","key":"ref4"},{"year":"0","key":"ref27"},{"year":"2012","key":"ref3","article-title":"Guide for Writing Requirements"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/958961.958963"},{"year":"0","key":"ref29"},{"key":"ref5","article-title":"Five Aspects of Engineering Complex Systems","author":"rhodes","year":"2010","journal-title":"Proc IEEE International Systems Conference (SysCon)"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.3384\/ecp11063579"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/SysEng.2015.7302777"},{"journal-title":"International Organization for Standardization","article-title":"Systems and software engineering - System life cycle processes","year":"2008","key":"ref2"},{"journal-title":"IEEE","article-title":"Property Specification Language 1850","year":"2010","key":"ref9"},{"journal-title":"International Council on Systems Engineering (INCOSE)","year":"0","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-011-0080-5"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.3384\/ecp15118625"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.4173\/mic.2014.2.2"},{"key":"ref24","article-title":"Model-Based Verification of Dynamic System Behavior against Requirements: Method, Language, and Tool","volume":"1547","author":"schamai","year":"2013"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/EUROSIM.2013.99"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44618-4_1"},{"year":"0","key":"ref25"}],"event":{"name":"2016 IEEE International Symposium on Systems Engineering (ISSE)","start":{"date-parts":[[2016,10,3]]},"location":"Edinburgh, United Kingdom","end":{"date-parts":[[2016,10,5]]}},"container-title":["2016 IEEE International Symposium on Systems Engineering (ISSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7731016\/7753113\/07753137.pdf?arnumber=7753137","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,12,17]],"date-time":"2016-12-17T09:07:02Z","timestamp":1481965622000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7753137\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/syseng.2016.7753137","relation":{},"subject":[],"published":{"date-parts":[[2016,10]]}}}