{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T02:06:20Z","timestamp":1743041180298,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642246579"},{"type":"electronic","value":"9783642246586"}],"license":[{"start":{"date-parts":[[2011,10,12]],"date-time":"2011-10-12T00:00:00Z","timestamp":1318377600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2011,10,12]],"date-time":"2011-10-12T00:00:00Z","timestamp":1318377600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-24658-6_10","type":"book-chapter","created":{"date-parts":[[2011,10,18]],"date-time":"2011-10-18T19:24:07Z","timestamp":1318965847000},"page":"81-90","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Das atomare Element als Meta-Modell zur tabellarischen Verhaltensbeschreibung von Echtzeitsystemen"],"prefix":"10.1007","author":[{"given":"Lars","family":"Ebrecht","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karsten","family":"Lemmer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,10,12]]},"reference":[{"key":"10_CR1","unstructured":"ERA: ERTMS\/ETCS Class 1 System Requirement Specification (Subset-026), Version 2.3.0d, 2009 http:\/\/www.era.europa.eu\/Pages\/Home.aspx"},{"key":"10_CR2","unstructured":"ERA: ERTMS\/ETCS Class 1 Technical Specification for Conformity and Interoperability (Subset-076). Version 2.3.1, 2009 http:\/\/www.era.europa.eu\/Pages\/Home. aspx"},{"key":"10_CR3","volume-title":"The Basic Concept for the Formal Test Description - Horizontal Composition and Vertical Differentiation of the Atomic Element. Formal Methods for Automation and Safety in Railway and Automotive Systems (Forms\/Format)","author":"L. Ebrecht","year":"2007","unstructured":"Ebrecht, L., Meyer zu Hoerste, M. und Lemmer, K.: The Basic Concept for the Formal Test Description - Horizontal Composition and Vertical Differentiation of the Atomic Element. Formal Methods for Automation and Safety in Railway and Automotive Systems (Forms\/Format). Braunschweig: GZVB 2007"},{"key":"10_CR4","unstructured":"OMG: Unified Modeling Language (UML) http:\/\/www.omg.org\/technology\/documents\/modeling_spec_catalog.htm#UML"},{"key":"10_CR5","unstructured":"OMG: UML Profiles http:\/\/www.omg.org\/technology\/documents\/profile_ catalog.htm"},{"key":"10_CR6","unstructured":"Ranft, A. und Pflug,C.: Modellbasierte Entwicklung Echtzeit modellieren mit UML 2. Elektronik Praxis, W\u00fcrzburg 2008 http:\/\/www.elektronikpraxis.vogel.de\/ themen\/embeddedsoftwareengineering\/analyseentwurf\/articles\/157201\/"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Ebrecht, L. und Lemmer, K.: Konsistente Verkn\u00fcpfung von Aktivit\u00e4ts-, Sequenzund Zustands-diagrammen - Darstellungsunabh\u00e4ngige und formale Semantik zur Verhaltensbeschreibung von Echtzeitsystemen. Mobilit\u00e4t und Echtzeit - PEARL, Informatik Aktuell. Springer 2007","DOI":"10.1007\/978-3-540-74837-3_6"},{"key":"10_CR8","volume-title":"REAL-TIME OBJECT ORIENTED MODELING","author":"B. Selic","year":"1994","unstructured":"Selic, B., Gullekson, G. und Ward, P.T.: REAL-TIME OBJECT ORIENTED MODELING. New York: John Wiley & Sons Verlag 1994."},{"key":"10_CR9","unstructured":"OMG: UML Specifications http:\/\/www.omg.org\/technology\/documents\/ modeling_spec_catalog.htm"},{"key":"10_CR10","volume-title":"Sicherheitsgerichtete Echtzeitsysteme","author":"W.A. Halang","year":"1999","unstructured":"Halang, W.A. und Konakovsky, R.: Sicherheitsgerichtete Echtzeitsysteme. M\u00fcnchen-Wien: Oldenbourg Verlag 1999"},{"key":"10_CR11","unstructured":"Ebrecht, L. und Lemmer, K.: Highlighting the Essentials of the Behaviour of Reactive Systems in Test Descriptions Using the Behavioural Atomic Element. 2nd International Conference on Pervasive Patterns and Applications (Patterns), Lisbon. Xpert Publishing Service (XPS) - ThinkMindTM Digital Library 2010"},{"key":"10_CR12","volume-title":"Inverse Model Based Testing - Generating Behavior Models from Abstract Test Cases. 7th Workshop on Advances in Model Based Testing (A-MOST) - International Conference on Software Testing (ICST)","author":"C. Torens","year":"2011","unstructured":"Torens, C., Ebrecht, L. und Lemmer, K.: Inverse Model Based Testing - Generating Behavior Models from Abstract Test Cases. 7th Workshop on Advances in Model Based Testing (A-MOST) - International Conference on Software Testing (ICST). Berlin: IEEE Digital Library 2011"}],"container-title":["Informatik aktuell","Herausforderungen durch Echtzeitbetrieb"],"original-title":[],"language":"de","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24658-6_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,19]],"date-time":"2023-01-19T01:59:48Z","timestamp":1674093588000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-24658-6_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,10,12]]},"ISBN":["9783642246579","9783642246586"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24658-6_10","relation":{},"ISSN":["1431-472X"],"issn-type":[{"type":"print","value":"1431-472X"}],"subject":[],"published":{"date-parts":[[2011,10,12]]},"assertion":[{"value":"12 October 2011","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}