{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T15:07:22Z","timestamp":1761491242970,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,4,15]],"date-time":"2021-04-15T00:00:00Z","timestamp":1618444800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,4,15]],"date-time":"2021-04-15T00:00:00Z","timestamp":1618444800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,4,15]],"date-time":"2021-04-15T00:00:00Z","timestamp":1618444800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,4,15]]},"DOI":"10.1109\/syscon48628.2021.9447127","type":"proceedings-article","created":{"date-parts":[[2021,6,9]],"date-time":"2021-06-09T21:20:08Z","timestamp":1623273608000},"page":"1-7","source":"Crossref","is-referenced-by-count":2,"title":["Does The Complex SoS Have Negative Emergent Behavior? Looking For Violations Formally"],"prefix":"10.1109","author":[{"given":"Ramakrishnan","family":"Raman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yogananda","family":"Jeppu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/COGINF.2008.4639147"},{"key":"ref11","article-title":"INCOSE Systems Engineering Handbook","author":"walden","year":"2015","journal-title":"INCOSE-TP-2003-002-04"},{"journal-title":"Foundations of Machine Learning","year":"2012","author":"mohri","key":"ref12"},{"journal-title":"Machine Learning","year":"1997","author":"mitchell","key":"ref13"},{"journal-title":"Formal methods - Taxonomy Uses & Applications","year":"2021","key":"ref14"},{"journal-title":"RTCA DO-333 Formal Methods Supplement to DO-178C and DO278A","year":"2011","key":"ref15"},{"article-title":"Introduction to Software Quality, Undergraduate Topics in Computer Science","year":"0","author":"o\u2019regan","key":"ref16"},{"journal-title":"CBMC Bounded Model Checking for Software","year":"0","key":"ref17"},{"key":"ref4","doi-asserted-by":"crossref","DOI":"10.1145\/2794381","article-title":"SoS Engineering: Basic Concepts, Model-Based Techniques & Research Directions","author":"nielsen","year":"2015","journal-title":"ACM Computing Surveys"},{"volume":"19","journal-title":"International Council on Systems Engineering (INCOSE) INSIGHT Feature on System of Systems","year":"2016","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1002\/sys.21517"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1002\/j.2334-5837.2017.00343.x"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1002\/j.2334-5837.2019.00620.x"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICSEA.2008.59"},{"key":"ref2","article-title":"What is a System of Systems and Why Should I Care?","author":"lane","year":"2013","journal-title":"USCCSSE-2013-001"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1002\/9780470403501"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/SysCon47679.2020.9275870"}],"event":{"name":"2021 IEEE International Systems Conference (SysCon)","start":{"date-parts":[[2021,4,15]]},"location":"Vancouver, BC, Canada","end":{"date-parts":[[2021,5,15]]}},"container-title":["2021 IEEE International Systems Conference (SysCon)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9447020\/9447051\/09447127.pdf?arnumber=9447127","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T15:42:21Z","timestamp":1652197341000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9447127\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,4,15]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/syscon48628.2021.9447127","relation":{},"subject":[],"published":{"date-parts":[[2021,4,15]]}}}