{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T21:57:58Z","timestamp":1729634278145,"version":"3.28.0"},"reference-count":8,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,6]]},"DOI":"10.1109\/sysose.2016.7542916","type":"proceedings-article","created":{"date-parts":[[2016,8,15]],"date-time":"2016-08-15T16:28:31Z","timestamp":1471278511000},"page":"1-6","source":"Crossref","is-referenced-by-count":1,"title":["Models composition in FORM-L: Study of complex socio-cyber-physical systems and large scale systems of systems"],"prefix":"10.1109","author":[{"given":"Thuy","family":"Nguyen","sequence":"first","affiliation":[]}],"member":"263","reference":[{"article-title":"FORM-L specifications","year":"2015","author":"nguyen","key":"ref4"},{"key":"ref3","article-title":"Principles of Model Checking","author":"baier","year":"2008","journal-title":"The MIT Press"},{"article-title":"Model-Based Verification of Dynamic System Behavior against Requirements","year":"2013","author":"schamai","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.3384\/ecp140961227"},{"year":"0","key":"ref8"},{"journal-title":"ISO\/IEC 19507","article-title":"Object Constraint Language (OCL)","year":"2012","key":"ref7"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"191","DOI":"10.2151\/jmsj1965.75.1B_191","article-title":"Assimilation of Observations, an Introduction","volume":"75","author":"talagrand","year":"1997","journal-title":"Journal of the Meteorological Society of Japan"},{"key":"ref1","first-page":"143","article-title":"Fluid Transients in Systems","author":"wylie","year":"1993","journal-title":"Prentice Hall"}],"event":{"name":"2016 11th System of Systems Engineering Conference (SoSE)","start":{"date-parts":[[2016,6,12]]},"location":"Kongsberg, Norway","end":{"date-parts":[[2016,6,16]]}},"container-title":["2016 11th System of Systems Engineering Conference (SoSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7533679\/7542882\/07542916.pdf?arnumber=7542916","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T10:26:56Z","timestamp":1602671216000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7542916"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,6]]},"references-count":8,"URL":"https:\/\/doi.org\/10.1109\/sysose.2016.7542916","relation":{},"subject":[],"published":{"date-parts":[[2016,6]]}}}