{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T09:18:32Z","timestamp":1725873512993},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319491028"},{"type":"electronic","value":"9783319491035"}],"license":[{"start":{"date-parts":[[2016,12,9]],"date-time":"2016-12-09T00:00:00Z","timestamp":1481241600000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-49103-5_1","type":"book-chapter","created":{"date-parts":[[2016,12,8]],"date-time":"2016-12-08T02:19:14Z","timestamp":1481163554000},"page":"3-15","source":"Crossref","is-referenced-by-count":2,"title":["Challenges for MBSE and PLE for Legacy Product-Based System Environments"],"prefix":"10.1007","author":[{"given":"Michael","family":"Sch\u00e4fer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Friedemann","family":"Bitsch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephan","family":"Wei\u00dfleder","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Florian","family":"Wartenberg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,12,9]]},"reference":[{"key":"1_CR1","unstructured":"Theeg, G., Vlasenko, S. (eds.): Railway Signalling and Interlocking\u2014International Compendium. Eurailpress (2009)"},{"key":"1_CR2","volume-title":"Railway Operation and Control","author":"J Pachl","year":"2014","unstructured":"Pachl, J.: Railway Operation and Control, 3rd edn. VTD Rail Publishing, Mountlake Terrace (USA) (2014)","edition":"3"},{"key":"1_CR3","unstructured":"Commission decision on the technical specification for interoperability relating to the control-command and signalling subsystems of the trans-European rail system, 2012-01-25. 2012\/88\/EU"},{"key":"1_CR4","first-page":"14","volume":"3","author":"L Barfoed","year":"2009","unstructured":"Barfoed, L.: Current status of public transport in Denmark. Eurotransport, Issue 3, 14\u201317 (2009)","journal-title":"Eurotransport, Issue"},{"key":"1_CR5","unstructured":"Eulynx European Initiative. http:\/\/eulynx.eu . Accessed 25 Feb 2016"},{"key":"1_CR6","unstructured":"Voirin, J.-L.: Method and tools to secure and support collaborative architecting of constrained systems. In: ICAS 2010, 27th Congress of the International Council of the Aeronautical Science (2010)"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Voirin, J.-L.: Modelling languages for functional analysis put to the test of real life. In: Proceedings of the Third International Conference on Complex System Design and Management CSD&M 2012. Springer (2013)","DOI":"10.1007\/978-3-642-34404-6_9"},{"key":"1_CR8","unstructured":"Polarsys.org: https:\/\/www.polarsys.org\/capella\/ . Accessed 11 April 2016"},{"key":"1_CR9","unstructured":"Hoppen, A., Sch\u00e4fer, M.: Modellbasierte Systementwicklung im Rahmen des Projects Denmark F-bane West, Eurailpress, Signal\u00a0+\u00a0Draht 09\/2014, pp. 12\u201317"},{"key":"1_CR10","unstructured":"M\u00fcller, F., Sch\u00e4fer, M.: Model-based system specification in the framework of the RSA project, Eurailpress, Signal\u00a0+\u00a0Draht 03\/2016, pp. 31\u201336"},{"key":"1_CR11","unstructured":"Zander, J., Schieferdecker, I., Mosterman, P.J.: Model-Based Testing for Embedded Systems. CRC Press (2011)"},{"key":"1_CR12","unstructured":"Utting, M., Legeard, B.: Practical Model-Based Testing. Morgan Kaufmann (2007)"},{"key":"1_CR13","unstructured":"Wei\u00dfleder, S.: Test Models and Coverage Criteria for Automatic Model-Based Test Generation with UML State Machines, PhD Thesis (2009)"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Wei\u00dfleder, S., Wartenberg, F., Lackner, H.: Automated test design for boundaries of product line variants. In: International Conference on Testing Software and Systems (ICTSS), 16 pages, Dubai, V.A.E. (2015)","DOI":"10.1007\/978-3-319-25945-1_6"}],"container-title":["Complex Systems Design & Management"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-49103-5_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,25]],"date-time":"2017-06-25T01:29:01Z","timestamp":1498354141000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-49103-5_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12,9]]},"ISBN":["9783319491028","9783319491035"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-49103-5_1","relation":{},"subject":[],"published":{"date-parts":[[2016,12,9]]}}}