{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T23:11:15Z","timestamp":1775862675762,"version":"3.50.1"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,6]]},"DOI":"10.1109\/sysose.2017.7994977","type":"proceedings-article","created":{"date-parts":[[2017,7,31]],"date-time":"2017-07-31T20:38:17Z","timestamp":1501533497000},"page":"1-6","source":"Crossref","is-referenced-by-count":21,"title":["Practical modeling concepts for engineering emergence in systems of systems"],"prefix":"10.1109","author":[{"given":"Kristin","family":"Giammarco","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1177\/1548512915620580"},{"key":"ref3","first-page":"31","author":"rainey","year":"2015","journal-title":"Modeling and Simulation Support for System of Systems Engineering Applications"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2013.09.273"},{"key":"ref6","article-title":"Verification and validation of behavior models using lightweight formal methods","author":"kristin","year":"2017","journal-title":"Procedia Computer Science Proceedings of the 15th Annual Conference on Systems Engineering Research"},{"key":"ref11","first-page":"48","article-title":"Modeling and verifying business processes with Monterey Phoenix","volume":"44","author":"mikhail","year":"2015","journal-title":"Procedia Computer Science"},{"key":"ref5","author":"andreas","year":"0","journal-title":"The Ultimate Collection of Murphy's Laws"},{"key":"ref12","article-title":"Comprehensive use case scenario generation: An approach and template for modeling system of systems behaviors","author":"kristin","year":"2017","journal-title":"Proceedings of the 12th Annual System of Systems Engineering Conference"},{"key":"ref8","year":"0","journal-title":"International Organization for Standardization ISO\/IEC\/IEEE 42010 2011"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/SysCon.2013.6549927"},{"key":"ref2","first-page":"9","author":"edward","year":"2016","journal-title":"System Architecture Strategy and Product Development"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1037\/h0043158"},{"key":"ref1","year":"0","journal-title":"International Council on Systems Engineering (INCOSE)"}],"event":{"name":"2017 12th System of Systems Engineering Conference (SoSE)","location":"Waikoloa, HI, USA","start":{"date-parts":[[2017,6,18]]},"end":{"date-parts":[[2017,6,21]]}},"container-title":["2017 12th System of Systems Engineering Conference (SoSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7986734\/7994924\/07994977.pdf?arnumber=7994977","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,10,3]],"date-time":"2017-10-03T03:42:06Z","timestamp":1507002126000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7994977\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/sysose.2017.7994977","relation":{},"subject":[],"published":{"date-parts":[[2017,6]]}}}