{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T15:26:33Z","timestamp":1725636393070},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642248054"},{"type":"electronic","value":"9783642248061"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-24806-1_6","type":"book-chapter","created":{"date-parts":[[2011,11,21]],"date-time":"2011-11-21T12:31:30Z","timestamp":1321878690000},"page":"59-65","source":"Crossref","is-referenced-by-count":0,"title":["Proving the Safety of Autonomous Systems with Formal Methods - What Can You Expect?"],"prefix":"10.1007","author":[{"given":"Theodor","family":"Tempelmeier","sequence":"first","affiliation":[]}],"member":"297","reference":[{"unstructured":"ISO\/IEC, IEEE, International Standard ISO\/IEC 26702, IEEE Std 1220-2005, First edition 2007-07-15, Systems engineering \u2013 Application and management of the systems engineering process (2007)","key":"6_CR1"},{"unstructured":"INCOSE, A Consensus of the INCOSE Fellows \u2013 Definition of a system (2011), \n                    \n                      http:\/\/www.incose.org\/practice\/fellowsconsensus.aspx\n                    \n                    \n                   (accessed June 30, 2011)","key":"6_CR2"},{"issue":"6","key":"6_CR3","first-page":"55","volume":"27","author":"B. Selic","year":"2010","unstructured":"Selic, B.: Counterpoint. UML 2: Designed for Architects. IEEE Software\u00a027(6), 55\u201357 (2010)","journal-title":"IEEE Software"},{"unstructured":"OMG, UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems. Version 1.0. OMG Document Number: formal\/2009-11-02. Standard document URL: Section F.8.15 (2009), \n                    \n                      http:\/\/www.omg.org\/spec\/MARTE\/1.0","key":"6_CR4"},{"unstructured":"Frese, U., Hausmann, D., L\u00fcth, C., T\u00e4ubig, H., Walter, D.: Zertifizierung einer Sicherungskomponente mittels durchg\u00e4ngig formaler Modellierung. In: Maalej, W., Bruegge, B. (eds.) SoftwareEngineering 2008 - Workshopband. Proceedings Series of the Gesellschaft f\u00fcr Informatik","key":"#cr-split#-6_CR5.1"},{"doi-asserted-by":"crossref","unstructured":"(GI). LNI, vol.\u00a0P-122, pp. 335-338 (2008)","key":"#cr-split#-6_CR5.2","DOI":"10.1055\/s-2008-1047618"},{"doi-asserted-by":"crossref","unstructured":"Tempelmeier, T.: Microprocessors in Factory Automation \u2013 A Case Study of an Automated Guided Vehicle System and its Integration into a Hierarchical Control Structure. In: Proceedings EUROMICRO 1986, Microprocessing and Microprogramming, Venice, September 15-18, vol.\u00a018, pp. 647\u2013656 (1986)","key":"6_CR6","DOI":"10.1016\/0165-6074(86)90104-3"},{"key":"6_CR7","doi-asserted-by":"publisher","first-page":"675","DOI":"10.1016\/S0967-0661(00)00012-5","volume":"8","author":"A. Ro\u00dfkopf","year":"2000","unstructured":"Ro\u00dfkopf, A., Tempelmeier, T.: Aspects of Flight Control Software \u2013 A Software Engineering Point of View. Control Engineering Practice\u00a08, 675\u2013680 (2000)","journal-title":"Control Engineering Practice"},{"unstructured":"Tempelmeier, T.: Formal Methods \u2013 An Informal Assessment. Technischer Report. Dasa MT36 SR-1775-a. Daimler-Benz Aerospace, Ottobrunn (May 1998)","key":"6_CR8"},{"unstructured":"Main Commission Aircraft Accident Investigation, Report on the Accident to Airbus A320-211 Aircraft in Warsaw (September 14, 1993) Warsaw (March 1994), \n                    \n                      http:\/\/www.rvs.uni-bielefeld.de\/publications\/Incidents\/DOCS\/ComAndRep\/Warsaw\/warsaw-report.html\n                    \n                    \n                   (accessed June 30, 2011)","key":"6_CR9"},{"unstructured":"Bundesstelle f\u00fcr Flugunfalluntersuchung, Untersuchungsbericht AX001-1-2\/02 (May 2004), \n                    \n                      http:\/\/www.bfu-web.de\/cln_030\/nn_223648\/DE\/Publikationen\/Untersuchungsberichte\/untersuchungsberichte_node.html?_nnn=true\n                    \n                    \n                   (accessed June 30, 2011)","key":"6_CR10"},{"unstructured":"Einstein, A.: Geometrie und Erfahrung. Festvortrag in der Preu\u00dfischen Akademie der Wissenschaften am 27 (January 1921) In: Mein Weltbild. Ullstein Buch Nr. 65, Berlin (1955)","key":"6_CR11"}],"container-title":["Studies in Computational Intelligence","Autonomous Systems: Developments and Trends"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24806-1_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,25]],"date-time":"2019-04-25T02:27:13Z","timestamp":1556159233000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24806-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642248054","9783642248061"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24806-1_6","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2012]]}}}