{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T22:48:43Z","timestamp":1729637323459,"version":"3.28.0"},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,11]]},"DOI":"10.1109\/iccad.2014.7001427","type":"proceedings-article","created":{"date-parts":[[2015,1,13]],"date-time":"2015-01-13T20:11:15Z","timestamp":1421179875000},"page":"690-695","source":"Crossref","is-referenced-by-count":12,"title":["Probabilistic model checking for comparative analysis of automated air traffic control systems"],"prefix":"10.1109","author":[{"given":"Yang","family":"Zhao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kristin Y.","family":"Rozier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"Separation assurance in the future air traffic system","author":"erzberger","year":"2009","journal-title":"ENRI Int Workshop on ATM\/CNS"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1243\/09544100JAERO546"},{"key":"ref12","first-page":"5","volume":"63","author":"giannakopoulou","year":"2011","journal-title":"Formal Testing for Separation Assurance"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1007\/978-3-642-12002-2_30"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1007\/BF01211866"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1109\/QEST.2005.2"},{"key":"ref16","first-page":"585","article-title":"PRISM 4.0: Verification of probabilistic real-time systems","author":"kwiatkowska","year":"2011","journal-title":"Proc CAV"},{"key":"ref17","article-title":"Relative significance of trajectory prediction errors on an automated separation assurance algorithm","author":"lauderdale","year":"2011","journal-title":"9th USA\/Europe ATM R&D Seminar"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.2514\/6.2013-4368"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.2514\/1.36449"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.2514\/6.2010-7543"},{"key":"ref3","first-page":"358","article-title":"Model checking continuous-time Markov chains by transient analysis","author":"baier","year":"2000","journal-title":"Proc CAV"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1007\/978-3-642-14295-6_48"},{"key":"ref5","first-page":"173","article-title":"The COMPASS approach: correctness, modelling and performability of aerospace systems","author":"bozzano","year":"2009","journal-title":"SAFECOMP"},{"year":"2006","author":"ciardo","journal-title":"SMART Stochastic Model checking Analyzer for Reliability and Timing User Manual","key":"ref8"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1109\/AERO.2009.4839621"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1145\/1059816.1059821"},{"key":"ref9","first-page":"133","article-title":"Practical Applications of Probabilistic Model Checking to Communication Protocols","author":"duflot","year":"2013","journal-title":"Formal Methods for Industrial Critical Systems A Survey of Applications"},{"key":"ref1","doi-asserted-by":"crossref","DOI":"10.2514\/atcq.14.1.5","article-title":"Safety analysis for advanced separation concepts","volume":"14","author":"andrews","year":"2006","journal-title":"Air Traffic Control Quarterly"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.2514\/1.39427"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.2514\/6.2010-9372"},{"doi-asserted-by":"publisher","key":"ref21","DOI":"10.1109\/ICNSurv.2012.6218434"},{"key":"ref24","article-title":"Formal specification and verification of a coordination protocol for an automated air traffic control system","author":"zhao","year":"2012","journal-title":"Proc AVoCS"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1007\/978-3-642-54862-8_54"},{"doi-asserted-by":"publisher","key":"ref25","DOI":"10.1016\/j.scico.2014.04.002"}],"event":{"name":"2014 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)","start":{"date-parts":[[2014,11,2]]},"location":"San Jose, CA, USA","end":{"date-parts":[[2014,11,6]]}},"container-title":["2014 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6991350\/7001313\/07001427.pdf?arnumber=7001427","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,19]],"date-time":"2019-08-19T17:07:50Z","timestamp":1566234470000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7001427\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,11]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/iccad.2014.7001427","relation":{},"subject":[],"published":{"date-parts":[[2014,11]]}}}