{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:57:45Z","timestamp":1725544665140},"publisher-location":"Berlin, Heidelberg","reference-count":43,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540340638"},{"type":"electronic","value":"9783540340645"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11751113_7","type":"book-chapter","created":{"date-parts":[[2006,5,17]],"date-time":"2006-05-17T09:06:08Z","timestamp":1147856768000},"page":"81-96","source":"Crossref","is-referenced-by-count":7,"title":["Modeling Safety Case Evolution \u2013 Examples from the Air Traffic Management Domain"],"prefix":"10.1007","author":[{"given":"Massimo","family":"Felici","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"Aviation Safety Reporting System. Controller Reports (2003)"},{"key":"7_CR2","unstructured":"Aviation Safety Reporting System. TCAS II Incidents (2004)"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Bergman, M., King, J.L., Lyytinen, K.: Large-scale requirements analysis as heterogeneous engineering. Social Thinking - Software Practice, 357\u2013386 (2002)","DOI":"10.7551\/mitpress\/6308.003.0022"},{"issue":"3","key":"7_CR4","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/s007660200011","volume":"7","author":"M. Bergman","year":"2002","unstructured":"Bergman, M., King, J.L., Lyytinen, K.: Large-scale requirements analysis revisited: The need for understanding the political ecology of requirements engineering. Requirements Engineering\u00a07(3), 152\u2013171 (2002)","journal-title":"Requirements Engineering"},{"key":"7_CR5","unstructured":"BFU. Investigation Report, AX001-1-2\/02 (2002)"},{"key":"7_CR6","series-title":"Oxford Logic Guides","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537793.001.0001","volume-title":"Modal Logic","author":"A. Chagrov","year":"1997","unstructured":"Chagrov, A., Zakharyaschev, M.: Modal Logic. Oxford Logic Guides, vol.\u00a035. Oxford University Press, Oxford (1997)"},{"issue":"9-10","key":"7_CR7","first-page":"1","volume":"18","author":"J.H. Enders","year":"1999","unstructured":"Enders, J.H., Dodd, R.S., Fickeisen, F.: Continuing airworthiness risk evaluation (CARE): An exploratory study. Flight Safety Digest\u00a018(9-10), 1\u201351 (1999)","journal-title":"Flight Safety Digest"},{"key":"7_CR8","unstructured":"EUROCONTROL. Human Factor Module - Human Factors in the Development of Air Traffic Management Systems, 1.0 edition (1998)"},{"key":"7_CR9","unstructured":"EUROCONTROL. EUROCONTROL Airspace Strategy for the ECAC States, ASM.ET1.ST03.4000-EAS-01-00, 1.0 edition (2001)"},{"key":"7_CR10","unstructured":"EUROCONTROL. EUROCONTROL Safety Regulatory Requirements (ESARR). ESARR 4 - Risk Assessment and Mitigation in ATM, 1.0 edition (2001)"},{"key":"7_CR11","unstructured":"EUROCONTROL. EUROCONTROL Air Traffic Management Strategy for the years 2000+ (2003)"},{"key":"7_CR12","unstructured":"EUROCONTROL. EUROCONTROL Air Navigation System Safety Assessment Methodology, 2.0 edition (2004)"},{"key":"7_CR13","volume-title":"Reasoning about Knowledge","author":"R. Fagin","year":"2003","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. The MIT Press, Cambridge (2003)"},{"key":"7_CR14","unstructured":"Felici, M.: Observational Models of Requirements Evolution. PhD thesis, Laboratory for Foundations of Computer Science, School of Informatics, The University of Edinburgh (2004)"},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/11563228_16","volume-title":"Computer Safety, Reliability, and Security","author":"M. Felici","year":"2005","unstructured":"Felici, M.: Evolutionary safety analysis: Motivations from the air traffic management domain. In: Winther, R., Gran, B.A., Dahll, G. (eds.) SAFECOMP 2005. LNCS, vol.\u00a03688, pp. 208\u2013221. Springer, Heidelberg (2005)"},{"key":"7_CR16","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-5292-1","volume-title":"First-Order Modal Logic","author":"M. Fitting","year":"1998","unstructured":"Fitting, M., Mendelsohn, R.L.: First-Order Modal Logic. Kluwer Academic Publishers, Dordrecht (1998)"},{"key":"7_CR17","unstructured":"Flight Safety Fundation. The Human Factors Implication for Flight Safety of Recent Developments In the Airline Industry, number (22)3-4 in Flight Safety Digest (March-April 2003)"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Greenwell, W.S., Strunk, E.A., Knight, J.C.: Failure analysis and the safety-case lifecycle. In: Proceedings of the IFIP Working Conference on Human Error, Safety and System Development (HESSD), pp. 163\u2013176 (2004)","DOI":"10.1007\/1-4020-8153-7_11"},{"key":"7_CR19","volume-title":"Reasoning about Uncertainty","author":"J.Y. Halpern","year":"2003","unstructured":"Halpern, J.Y.: Reasoning about Uncertainty. The MIT Press, Cambridge (2003)"},{"key":"7_CR20","volume-title":"Human Reliability Analysis: Context and Control","author":"E. Hollnagel","year":"1993","unstructured":"Hollnagel, E.: Human Reliability Analysis: Context and Control. Academic Press, London (1993)"},{"key":"7_CR21","first-page":"229","volume-title":"Expertise and Technology: Cognition & Human-Computer Cooperation","author":"E. Hollnagel","year":"1995","unstructured":"Hollnagel, E.: The art of efficient man-machine interaction: Improving the coupling between man and machine. In: Expertise and Technology: Cognition & Human-Computer Cooperation, pp. 229\u2013241. Lawrence Erlbaum Associates, Mahwah (1995)"},{"volume-title":"Systems, Experts, and Computers: The Systems Approach in Management and Engineering, World War II and After","year":"2000","key":"7_CR22","unstructured":"Hughes, A.C., Hughes, T.P. (eds.): Systems, Experts, and Computers: The Systems Approach in Management and Engineering, World War II and After. The MIT Press, Cambridge (2000)"},{"key":"7_CR23","volume-title":"Failure in Safety-Critical Systems: A Handbook of Accident and Incident Reporting","author":"C.W. Johnson","year":"2003","unstructured":"Johnson, C.W.: Failure in Safety-Critical Systems: A Handbook of Accident and Incident Reporting. University of Glasgow Press, Glasgow, Scotland (2003)"},{"key":"7_CR24","doi-asserted-by":"crossref","unstructured":"Kelly, T.P.: Arguing Safety - A Systematic Approach to Managing Safety Cases. PhD thesis, Department of Computer Science, University of York (1998)","DOI":"10.1007\/3-540-48249-0_2"},{"key":"7_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/3-540-48249-0_2","volume-title":"Computer Safety, Reliability and Security","author":"T.P. Kelly","year":"1999","unstructured":"Kelly, T.P., McDermid, J.A.: A systematic approach to safety case maintenance. In: Felici, M., Kanoun, K., Pasquini, A. (eds.) SAFECOMP 1999. LNCS, vol.\u00a01698, pp. 13\u201326. Springer, Heidelberg (1999)"},{"key":"7_CR26","unstructured":"Kinnersly, S.: Whole airspace atm system safety case - preliminary study. Technical Report AEAT LD76008\/2 Issue 1, AEA Technology (2001)"},{"key":"7_CR27","unstructured":"Laprie, J.-C., et al.: Dependability handbook. Technical Report LAAS Report no 98-346, LIS LAAS-CNRS (August 1998)"},{"key":"7_CR28","volume-title":"SAFEWARE: System Safety and Computers","author":"N.G. Leveson","year":"1995","unstructured":"Leveson, N.G.: SAFEWARE: System Safety and Computers. Addison-Wesley, Reading (1995)"},{"key":"7_CR29","volume-title":"Inventing Accuracy: A Historical Sociology of Nuclear Missile Guidance","author":"D.A. MacKenzie","year":"1990","unstructured":"MacKenzie, D.A.: Inventing Accuracy: A Historical Sociology of Nuclear Missile Guidance. The MIT Press, Cambridge (1990)"},{"key":"7_CR30","volume-title":"The Social Shaping of Technology","year":"1999","unstructured":"MacKenzie, D.A., Wajcman, J. (eds.): The Social Shaping of Technology, 2nd edn. Open University Press, Stony Stratford (1999)","edition":"2"},{"issue":"11","key":"7_CR31","first-page":"1","volume":"21","author":"S. Matthews","year":"2002","unstructured":"Matthews, S.: Future developments and challenges in aviation safety. Flight Safety Digest\u00a021(11), 1\u201312 (2002)","journal-title":"Flight Safety Digest"},{"issue":"3","key":"7_CR32","first-page":"1","volume":"14","author":"M. Overall","year":"1995","unstructured":"Overall, M.: New pressures on aviation safety challenge safety management systems. Flight Safety Digest\u00a014(3), 1\u20136 (1995)","journal-title":"Flight Safety Digest"},{"key":"7_CR33","doi-asserted-by":"crossref","unstructured":"Pasquini, A., Pozzi, S.: Evaluation of air traffic management procedures - safety assessment in an experimental environment. Reliability Engineering & System Safety (2004)","DOI":"10.1016\/j.ress.2004.08.009"},{"key":"7_CR34","volume-title":"Normal Accidents: Living with High-Risk Technologies","author":"C. Perrow","year":"1999","unstructured":"Perrow, C.: Normal Accidents: Living with High-Risk Technologies. Princeton University Press, Princeton (1999)"},{"key":"7_CR35","unstructured":"Ranter, H.: Airliner accident statistics 2002: Statistical summary of fatal multi-engine airliner accidents in 2002. Technical report, Aviation Safety Network (January 2003)"},{"key":"7_CR36","unstructured":"Ranter, H.: Airliner accident statistics 2003: Statistical summary of fatal multi-engine airliner accidents in 2003. Technical report, Aviation Safety Network (January 2004)"},{"key":"7_CR37","unstructured":"Reason, J.: Managing the Risks of Organizational Accidents. Ashgate Publishing Limited (1997)"},{"key":"7_CR38","unstructured":"Review. Working towards a fully interoperable system: The EUROCONTROL overall ATM\/CNS target architecture project (OATA). Skyway, 32 46\u201347 (Spring 2004)"},{"key":"7_CR39","unstructured":"Shappell, S.A., Wiegmann, D.A.: The human factors analysis and classification system - HFACS. Technical Report DOT\/FAA\/AM-00\/7, FAA (February 2000)"},{"key":"7_CR40","doi-asserted-by":"crossref","unstructured":"Stirling, C.: Modal and Temporal Properties of Processes. Texts in Computer Science. Springer, Heidelberg (2001)","DOI":"10.1007\/978-1-4757-3550-5"},{"key":"7_CR41","volume-title":"Safety-Critical Computer Systems","author":"N. Storey","year":"1996","unstructured":"Storey, N.: Safety-Critical Computer Systems. Addison-Wesley, Reading (1996)"},{"key":"7_CR42","unstructured":"van Es, G.W.H.: A Review of Civil Aviation Accidents - Air Traffic Management Related Accident: 1980-1999. In: Proceedings of the 4th International Air Traffic Management R&D Seminar, New-Mexico (December 2001)"},{"key":"7_CR43","doi-asserted-by":"crossref","unstructured":"Wiegmann, D.A., Shappell, S.A.: A human error analysis of commercial aviation accidents using the human factors analysis and classification system (HFACS). Technical Report DOT\/FAA\/AM-01\/3, FAA (February 2001)","DOI":"10.1037\/e420582004-001"}],"container-title":["Lecture Notes in Computer Science","Rapid Integration of Software Engineering Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11751113_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,4]],"date-time":"2024-02-04T12:32:23Z","timestamp":1707049943000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11751113_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540340638","9783540340645"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/11751113_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}