{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T09:48:05Z","timestamp":1725702485411},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642340314"},{"type":"electronic","value":"9783642340321"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34032-1_22","type":"book-chapter","created":{"date-parts":[[2012,9,25]],"date-time":"2012-09-25T20:44:41Z","timestamp":1348605881000},"page":"216-230","source":"Crossref","is-referenced-by-count":5,"title":["Product Line Engineering Applied to CBTC Systems Development"],"prefix":"10.1007","author":[{"given":"Alessio","family":"Ferrari","sequence":"first","affiliation":[]},{"given":"Giorgio Oronzo","family":"Spagnolo","sequence":"additional","affiliation":[]},{"given":"Giacomo","family":"Martelli","sequence":"additional","affiliation":[]},{"given":"Simone","family":"Menabeni","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"22_CR1","unstructured":"IEC 62290-1: Railway applications: Urban guided transport management and command\/control systems. Part 1: System principles and fundamental concepts (2007)"},{"key":"22_CR2","unstructured":"IEC 62290-2: Railway applications: Urban guided transport management and command\/control systems. Part 2: Functional requirements specification (2011)"},{"key":"22_CR3","unstructured":"Ansaldo STS. CBTC Brochure (2011), \n \n http:\/\/goo.gl\/3Kmb0"},{"key":"22_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/11554844_3","volume-title":"Software Product Lines","author":"D. Batory","year":"2005","unstructured":"Batory, D.: Feature Models, Grammars, and Propositional Formulas. In: Obbink, H., Pohl, K. (eds.) SPLC 2005. LNCS, vol.\u00a03714, pp. 7\u201320. Springer, Heidelberg (2005)"},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"Bucchiarone, A., Fantechi, A., Gnesi, S., Trentanni, G.: An experience in using a tool for evaluating a large set of natural language requirements. In: Proc. of SAC, pp. 281\u2013286 (2010)","DOI":"10.1145\/1774088.1774148"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"Chastek, G., Donohoe, P., Kang, K.C., Thiel, S.: Product Line Analysis: A Practical Introduction. Technical Report CMU\/SEI-2001-TR-001, Software Engineering Institute, Carnegie Mellon University (2001)","DOI":"10.21236\/ADA388924"},{"key":"22_CR7","unstructured":"Clements, P.C., Northrop, L.: Software product lines: practices and patterns. Addison-Wesley Longman, Inc., Boston (2001)"},{"key":"22_CR8","unstructured":"Czarnecki, K., Eisenecker, U.: Generative programming: methods, tools, and applications. ACM Press\/Addison-Wesley, New York, NY, USA (2000)"},{"key":"22_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1007\/11955757_21","volume-title":"B 2007: Formal Specification and Development in B","author":"D. Essam\u00e9","year":"2006","unstructured":"Essam\u00e9, D., Doll\u00e9, D.: B in Large-Scale Projects: The Canarsie Line CBTC Experience. In: Julliand, J., Kouchnarenko, O. (eds.) B 2007. LNCS, vol.\u00a04355, pp. 252\u2013254. Springer, Heidelberg (2006)"},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"Fantechi, A., Gnesi, S.: Formal modeling for product families engineering. In: Proc. of SPLC, pp. 193\u2013202 (2008)","DOI":"10.1109\/SPLC.2008.45"},{"key":"22_CR11","unstructured":"Institute of Electrical and Electronics Engineers. IEEE Standard for Communications Based Train Control (CBTC) Performance and Functional Requirements. IEEE Std 1474.1-2004 (Revision of IEEE Std 1474.1-1999) (2004)"},{"key":"22_CR12","unstructured":"Invensys Rail. SIRIUS Brochure (2009), \n \n http:\/\/goo.gl\/YFUiL"},{"key":"22_CR13","unstructured":"Jansen, L., Horste, M.M.Z., Schnieder, E.: Technical issues in modelling the European Train Control System (ETCS) using Coloured Petri Nets and the Design\/CPN tools (1998)"},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"Kang, K.C., Cohen, S.G., Hess, J.A., Novak, W.E., Peterson, A.S.: Feature-Oriented Domain Analysis (FODA) Feasibility Study. Technical report, Carnegie-Mellon University Software Engineering Institute (1990)","DOI":"10.21236\/ADA235785"},{"key":"22_CR15","unstructured":"Kuun, E.: Open Standards for CBTC and CBTC Radio Based Communications. In: APTA Rail Rail Transit Conference Proceedings (2004)"},{"key":"22_CR16","doi-asserted-by":"crossref","unstructured":"Pascoe, R.D., Eichorn, T.N.: What is Communication-Based Train Control? IEEE Vehicular Technology Magazine (2009)","DOI":"10.1109\/MVT.2009.934665"},{"key":"22_CR17","doi-asserted-by":"crossref","unstructured":"Pohl, K., B\u00f6ckle, G., van der Linden, F.J.: Software Product Line Engineering: Foundations, Principles and Techniques. Springer-Verlag New York, Inc., Secaucus (2005)","DOI":"10.1007\/3-540-28901-1"},{"key":"22_CR18","unstructured":"Siemens Transportation Systems. Trainguard MT CBTC (2006), \n \n http:\/\/goo.gl\/Xi0h0\n \n \n ; The Moving Block Communications Based Train Control Solution"},{"key":"22_CR19","unstructured":"Signalling Solutions Limited. URBALIS Communication Based Train Control (CBTC) Delivery Performance and Flexibility (2009), \n \n http:\/\/goo.gl\/G3hEe"},{"key":"22_CR20","unstructured":"Stover, J.S.: CITYFLO 650 System Overview (2006), \n \n http:\/\/goo.gl\/e26SZ"},{"key":"22_CR21","unstructured":"Thales Transportation. Seltrac Brochure (2009), \n \n http:\/\/goo.gl\/OjhvK"},{"key":"22_CR22","doi-asserted-by":"crossref","unstructured":"Wang, H., Liu, S.: Modeling Communications Based Train Control system: A case study. In: Proc. of ICIMA, pp. 453\u2013456 (2010)","DOI":"10.1109\/ICINDMA.2010.5538157"},{"key":"22_CR23","unstructured":"Yang, C., Lim, J., Um, J., Han, J., Bang, Y., Kim, H., Yun, Y., Kim, C., Cho, G.Y.: Developing CBTC Software Using Model-Driven Development Approach. In: Proc. of WCRR (2008)"},{"key":"22_CR24","doi-asserted-by":"crossref","unstructured":"Yuan, L., Tang, T., Li, K.: Modelling and Verification of the System Requirement Specification of Train Control System Using SDL. In: Proc. of ISADS, pp. 81\u201385 (2011)","DOI":"10.1109\/ISADS.2011.17"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34032-1_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T08:41:37Z","timestamp":1620117697000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34032-1_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642340314","9783642340321"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34032-1_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}