{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,28]],"date-time":"2025-11-28T17:18:29Z","timestamp":1764350309498,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1109\/fmcad.2015.7542260","type":"proceedings-article","created":{"date-parts":[[2016,8,15]],"date-time":"2016-08-15T20:28:56Z","timestamp":1471292936000},"page":"112-119","source":"Crossref","is-referenced-by-count":13,"title":["Comparing different functional allocations in automated air traffic control design"],"prefix":"10.1109","author":[{"given":"Cristian","family":"Mattarei","sequence":"first","affiliation":[]},{"given":"Alessandro","family":"Cimatti","sequence":"additional","affiliation":[]},{"given":"Marco","family":"Gario","sequence":"additional","affiliation":[]},{"given":"Stefano","family":"Tonetta","sequence":"additional","affiliation":[]},{"given":"Kristin Y.","family":"Rozier","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"237","article-title":"ESACS: an integrated methodology for design and safety analysis of complex systems","author":"bozzano","year":"2003","journal-title":"Proc ESREL 2003"},{"key":"ref11","article-title":"ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects","volume":"2006","author":"\u00e5kerlund","year":"2006","journal-title":"Proc ERTS"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1201\/b10094"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2014.04.002"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1243\/09544100JAERO546"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2014.7001427"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"1829","DOI":"10.1109\/CDC.1997.657846","article-title":"On the formal verification of the tcas conflict resolution algorithms","volume":"2","author":"lygeros","year":"1997","journal-title":"Decision and Control 1997 Proceedings of the 36th IEEE Conference on"},{"key":"ref17","first-page":"125","article-title":"Formal verification of distributed aircraft controllers","author":"loos","year":"0"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21690-4_36"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73368-3_30"},{"key":"ref4","article-title":"Fault tree handbook","author":"vesely","year":"1981","journal-title":"Tech Rep NUREG-0492 Systems and Reliability Research Office of Nuclear Regulatory Research U S"},{"key":"ref3","article-title":"Function allocation for separation assurance: Research plan","author":"lauderdale","year":"2014","journal-title":"NASA HQ Project Overview"},{"key":"ref6","article-title":"Fault Tree Handbook with Aerospace Applications","author":"vesely","year":"2002","journal-title":"Tech Rep NASA"},{"year":"1996","key":"ref5","article-title":"ARP4761 Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment, SAE"},{"key":"ref8","article-title":"The xsap safety analysis platform","volume":"abs 1504 7513","author":"bittner","year":"2015","journal-title":"CoRR"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_22"},{"key":"ref2","article-title":"Automated conflict resolution, arrival management and weather avoidance for ATM","author":"erzberger","year":"2011","journal-title":"Proceedings of the Institution of Mechanical Engineers"},{"key":"ref1","article-title":"Capacity Needs in the National Airspace System: An Analysis of Airports and Metropolitan Aera Demand and Operational Capacity in the Future","author":"caasd","year":"2007","journal-title":"FAA Technical Report"},{"key":"ref9","article-title":"Modelbased safety analysis: Final report","author":"joshi","year":"2005","journal-title":"Tech Rep"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21690-4_41"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2013.37"}],"event":{"name":"2015 Formal Methods in Computer-Aided Design (FMCAD)","start":{"date-parts":[[2015,9,27]]},"location":"Austin, TX, USA","end":{"date-parts":[[2015,9,30]]}},"container-title":["2015 Formal Methods in Computer-Aided Design (FMCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7539356\/7542233\/07542260.pdf?arnumber=7542260","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T20:45:25Z","timestamp":1498337125000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7542260\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/fmcad.2015.7542260","relation":{},"subject":[],"published":{"date-parts":[[2015,9]]}}}