{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T13:08:35Z","timestamp":1725800915205},"reference-count":35,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1109\/syseng.2015.7302777","type":"proceedings-article","created":{"date-parts":[[2015,10,26]],"date-time":"2015-10-26T18:22:10Z","timestamp":1445883730000},"page":"324-331","source":"Crossref","is-referenced-by-count":10,"title":["Modeling of system properties: Research challenges and promising solutions"],"prefix":"10.1109","author":[{"given":"Alfredo","family":"Garro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Tundis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","article-title":"Modeling System Requirements in Modelica: Definition and Comparison of Candidate Approaches","author":"tundis","year":"2013","journal-title":"Proceedings of the 4th International Workshop on Equation-based Object-oriented Modeling Languages and Tools (EOOLT 2011)"},{"journal-title":"Systems Modeling Language (SysML)","year":"0","key":"ref32"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44618-4_1"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.4173\/mic.2014.2.2"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/958961.958963"},{"key":"ref34","article-title":"Formal Verification","author":"wu","year":"1999","journal-title":"CIS 841 Web Book"},{"key":"ref10","first-page":"40","article-title":"From safety requirements to simulation-driven design of safe systems","author":"garro","year":"2013","journal-title":"Proceedings of the 12th International Conference on Modeling and Applied Simulation (MAS) held at the International Multidisciplinary Modeling and Simulation Multiconference (I3M)"},{"journal-title":"IBM Rational DOORS","year":"0","key":"ref11"},{"journal-title":"INCOSE Systems Engineering Handbook A Guide for Systems Life Cycle Processes and Activities","year":"2011","key":"ref12"},{"journal-title":"International Council on Systems Engineering","year":"0","key":"ref13"},{"journal-title":"Systems and Software Engineering - System Life Cycle Processes","year":"2008","key":"ref14"},{"journal-title":"ITEA 3 MODRIO (Model Driven Physical Systems Operation) Project","year":"0","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.3384\/ecp11063579"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/290133.290145"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2006.01.008"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-9170-5"},{"key":"ref28","article-title":"Five Aspects of Engineering Complex Systems","author":"rhodes","year":"2010","journal-title":"Proc IEEE International Systems Conference (SysCon)"},{"key":"ref4","first-page":"20","article-title":"Modeling and simulation for the performance evaluation of the on-board communication system of a metro train","author":"falcone","year":"2014","journal-title":"Proceedings of the 13th International Conference on Modeling and Applied Simulation (MAS)"},{"journal-title":"Guide for Writing Requirements","year":"2012","key":"ref27"},{"journal-title":"Dymola - Dassault Systemes","year":"0","key":"ref3"},{"journal-title":"Principles of Object Oriented Modeling and Simulation with Modelica 3.3","year":"2015","author":"fritzson","key":"ref6"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-011-0080-5"},{"key":"ref5","first-page":"17","article-title":"Simulation-driven development of multi-agent systems","author":"fortino","year":"2006","journal-title":"Proceedings of the 4th International Industrial Simulation Conference"},{"key":"ref8","first-page":"328","article-title":"Enhancing the RAMSAS method for system reliability analysis: An exploitation in the automotive domain","author":"garro","year":"2012","journal-title":"2nd Int Conf on Simulation and Modeling Methodologies Technologies and Applications (SIMULTECH)"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.jocs.2013.06.003"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-7518-7_8"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2014.2321617"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/EUROSIM.2013.99"},{"journal-title":"Mathworks Assertions","year":"0","key":"ref20"},{"journal-title":"Mathworks MATLAB Simulink","year":"0","key":"ref22"},{"journal-title":"Mathworks Check Dynamic Lower Bound","year":"0","key":"ref21"},{"year":"0","key":"ref24"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.3384\/ecp140961227"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.3384\/ecp15118625"},{"journal-title":"OpenModelica","year":"0","key":"ref25"}],"event":{"name":"2015 IEEE International Symposium on Systems Engineering (ISSE)","start":{"date-parts":[[2015,9,28]]},"location":"Rome, Italy","end":{"date-parts":[[2015,9,30]]}},"container-title":["2015 IEEE International Symposium on Systems Engineering (ISSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7299493\/7302498\/07302777.pdf?arnumber=7302777","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,24]],"date-time":"2017-03-24T22:48:57Z","timestamp":1490395737000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7302777\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9]]},"references-count":35,"URL":"https:\/\/doi.org\/10.1109\/syseng.2015.7302777","relation":{},"subject":[],"published":{"date-parts":[[2015,9]]}}}