{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:57:57Z","timestamp":1725523077883},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,6]]},"DOI":"10.1109\/sysose.2016.7542918","type":"proceedings-article","created":{"date-parts":[[2016,8,15]],"date-time":"2016-08-15T20:28:31Z","timestamp":1471292911000},"page":"1-6","source":"Crossref","is-referenced-by-count":5,"title":["Formal methods for a system of systems analysis framework applied to traffic management"],"prefix":"10.1109","author":[{"given":"Charles E.","family":"Dickerson","sequence":"first","affiliation":[]},{"given":"Siyuan","family":"Ji","sequence":"additional","affiliation":[]},{"given":"Rosmira","family":"Roslan","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"52","article-title":"Formal foundations for hierarchical saftey cases","author":"ewen","year":"2015","journal-title":"Proc of the 16th IEEE International Symposium on High Assurance Systems Engineering (HASE)"},{"journal-title":"Algorithms","year":"2011","author":"sedgewick","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICInfA.2015.7279596"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511529993"},{"key":"ref14","first-page":"124","article-title":"SysML fault modelling in a traffice management system of systems","author":"ingram","year":"2014","journal-title":"Proc of the 9th Interantioanl Conference on System of Systems Engineering (SOSE)"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2013.2253034"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2013.2254215"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2465478.2465493"},{"key":"ref3","first-page":"5","article-title":"Using the Base Semantics given by fUML for Verification","author":"romero","year":"2014","journal-title":"Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development (Modelsward'14)"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4899-0718-9"},{"key":"ref5","first-page":"137","article-title":"Visualizing hidden uhemes of taxi movement with semantic transformation","author":"chu","year":"2014","journal-title":"IEEE Pacific Visualization Symposium (Pacific Vis)"},{"year":"2011","key":"ref8","article-title":"ISO\/IEC\/IEEE Systems and Software Engineering-Architecture Description"},{"first-page":"1471","article-title":"IEEE Recommended Practice for Architectural Description for Software-Intensive Systems","year":"2000","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-02654-1_4"},{"year":"2011","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2009.5346661"}],"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\/07542918.pdf?arnumber=7542918","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T14:15:13Z","timestamp":1602684913000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7542918"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,6]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/sysose.2016.7542918","relation":{},"subject":[],"published":{"date-parts":[[2016,6]]}}}