{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T20:00:53Z","timestamp":1770753653279,"version":"3.50.0"},"reference-count":55,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"12","license":[{"start":{"date-parts":[[2016,12,1]],"date-time":"2016-12-01T00:00:00Z","timestamp":1480550400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"name":"NASA LEARN","award":["NNX14AC71A"],"award-info":[{"award-number":["NNX14AC71A"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Intell. Transport. Syst."],"published-print":{"date-parts":[[2016,12]]},"DOI":"10.1109\/tits.2016.2561409","type":"journal-article","created":{"date-parts":[[2016,6,10]],"date-time":"2016-06-10T21:42:25Z","timestamp":1465594945000},"page":"3512-3523","source":"Crossref","is-referenced-by-count":29,"title":["Early Concept Development and Safety Analysis of Future Transportation Systems"],"prefix":"10.1109","volume":"17","author":[{"given":"Cody H.","family":"Fleming","sequence":"first","affiliation":[]},{"given":"Nancy G.","family":"Leveson","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/225014.225015"},{"key":"ref38","volume":"1","author":"douglass","year":"1999","journal-title":"Doing Hard Time Developing Real-Time Systems with UML Objects Frameworks and Patterns"},{"key":"ref33","author":"checkland","year":"1999","journal-title":"Systems Thinking Systems Practice Includes A 30-Year Retrospective"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/S0925-7535(03)00047-X"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(02)00057-2"},{"key":"ref30","author":"woods","year":"2010","journal-title":"Behind Human Error"},{"key":"ref37","year":"1986","journal-title":"Air Traffic Control FAA's Advanced Automation System Acquisition Strategy Is Risky Report to the Secretary of Transportation"},{"key":"ref36","volume":"4","author":"cone","year":"2002","journal-title":"The ugly history of tool development at the faa"},{"key":"ref35","year":"2013","journal-title":"NextGen Implementation Plan"},{"key":"ref34","author":"mcgregor","year":"2005","journal-title":"Arcade game maker pedagogical product line Concept of operations Version 2 0"},{"key":"ref28","author":"dekker","year":"2005","journal-title":"Ten Questions about Human Error A New View of Human Factors and System Safety"},{"key":"ref27","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/8179.001.0001","author":"leveson","year":"2012","journal-title":"Engineering A Safer World"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/S0925-7535(97)00052-0"},{"key":"ref2","author":"dierkx","year":"2009","journal-title":"The smarter railroad An opportunity for the railroad industry"},{"key":"ref1","author":"bishop","year":"2005","journal-title":"Intelligent Vehicle Technology and Trends"},{"key":"ref20","author":"vincoli","year":"2005","journal-title":"Basic Guide to System Safety"},{"key":"ref22","author":"harkleroad","year":"2013","journal-title":"Atc-045 risk-based modeling to support nextgen concept assessment and validation"},{"key":"ref21","year":"2012","journal-title":"Capability safety assessment of trajectory based operations v1 1"},{"key":"ref24","year":"1949","journal-title":"MIL-P-1629—Procedures for performing a failure mode effect and critical analysis"},{"key":"ref23","author":"watson","year":"1961","journal-title":"Bell telephone laboratories launch control safety study"},{"key":"ref26","author":"leveson","year":"1995","journal-title":"Safeware System Safety and Computers"},{"key":"ref25","author":"vesely","year":"1981","journal-title":"Fault Tree Handbook"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/349360.351140"},{"key":"ref51","volume":"94","author":"kheir","year":"1995","journal-title":"Systems Modeling and Computer Simulation"},{"key":"ref55","first-page":"65","article-title":"Integration of petri nets into STAMP\/CAST on the example of Wenzhou 7.23 accident","volume":"1","author":"hosse","year":"2013","journal-title":"Control and Automation Theory for Transportation Applications"},{"key":"ref54","author":"spencer","year":"2012","journal-title":"Engineering Financial Safety A System-Theoretic Case Study From the Financial Crisis"},{"key":"ref53","author":"hickey","year":"2012","journal-title":"A system theoretic safety analysis of US coast guard aviation mishap involving CG-6505"},{"key":"ref52","author":"dong","year":"2012","journal-title":"Application of CAST and STPA to Railroad Safety in China"},{"key":"ref10","first-page":"265","article-title":"Software challenges in achieving space safety","volume":"62","author":"leveson","year":"2009","journal-title":"J Br Interplanet Soc"},{"key":"ref11","author":"frola","year":"1984","journal-title":"System Safety in Aircraft Management"},{"key":"ref40","author":"ashby","year":"1957","journal-title":"An Introduction to Cybernetics"},{"key":"ref12","author":"strafaci","year":"2008","journal-title":"What does BIM mean for civil engineers?"},{"key":"ref13","first-page":"1","article-title":"The influence of architecture in engineering systems","author":"crawley","year":"0","journal-title":"Proc 1st Eng Syst Symp MIT Eng Syst Div"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.2514\/6.2006-7255"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.2514\/6.2011-6816"},{"key":"ref16","year":"2012","journal-title":"Department of Defense MIL-STD-882E Standard Practice for System Safety"},{"key":"ref17","author":"kapurch","year":"2010","journal-title":"NASA Systems Engineering Handbook"},{"key":"ref18","year":"2008","journal-title":"Safety Management System Manual"},{"key":"ref19","year":"2010","journal-title":"ARP-4754 Guidelines for development of civil aircraft and systems Revision A"},{"key":"ref4","author":"waitz","year":"2003","journal-title":"Aviation & the environment"},{"key":"ref3","author":"josey","year":"2013","journal-title":"Intelligent infrastructure for next-generation rail systems"},{"key":"ref6","author":"jensen","year":"2015","journal-title":"G M Steering issue pushes automaker's limits"},{"key":"ref5","author":"areddy","year":"2011","journal-title":"How Chinas train tragedy unfolded"},{"key":"ref8","author":"scott","year":"2014","journal-title":"Exclusive Air traffic system failure caused by computer memory shortage"},{"key":"ref7","author":"carey","year":"2015","journal-title":"Application software bug delays american airlines flights"},{"key":"ref49","year":"2011","journal-title":"JPDO Trajectory Based Operations (TBO) Study Team Report"},{"key":"ref9","author":"farmer","year":"2014","journal-title":"Flights in chaos across uk as air traffic control computers fail Latest"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-010-9521-1_17"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/32.825764"},{"key":"ref48","year":"2010","journal-title":"Concept of Operations for the Next Generation Air Transportation System Version 3 2"},{"key":"ref47","author":"rasmussen","year":"1986","journal-title":"Information Processing and Human machine Interaction An Approach to Cognitive Engineering"},{"key":"ref42","volume":"113","author":"mesarovic","year":"1975","journal-title":"General Systems Theory Mathematical Foundations"},{"key":"ref41","author":"fleming","year":"2015","journal-title":"Safety-Driven Early Concept Analysis and Development"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1002\/aic.690260205"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1016\/j.compchemeng.2003.08.002"}],"container-title":["IEEE Transactions on Intelligent Transportation Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6979\/7755882\/07488999.pdf?arnumber=7488999","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:10:30Z","timestamp":1642003830000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7488999\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12]]},"references-count":55,"journal-issue":{"issue":"12"},"URL":"https:\/\/doi.org\/10.1109\/tits.2016.2561409","relation":{},"ISSN":["1524-9050","1558-0016"],"issn-type":[{"value":"1524-9050","type":"print"},{"value":"1558-0016","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,12]]}}}