{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,6]],"date-time":"2026-02-06T06:25:56Z","timestamp":1770359156337,"version":"3.49.0"},"reference-count":54,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2014,1,4]],"date-time":"2014-01-04T00:00:00Z","timestamp":1388793600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2014,11]]},"DOI":"10.1007\/s10009-013-0298-6","type":"journal-article","created":{"date-parts":[[2014,1,3]],"date-time":"2014-01-03T11:22:07Z","timestamp":1388748127000},"page":"647-667","source":"Crossref","is-referenced-by-count":15,"title":["From commercial documents to system requirements: an approach for the engineering of novel CBTC solutions"],"prefix":"10.1007","volume":"16","author":[{"given":"Alessio","family":"Ferrari","sequence":"first","affiliation":[]},{"given":"Giorgio O.","family":"Spagnolo","sequence":"additional","affiliation":[]},{"given":"Giacomo","family":"Martelli","sequence":"additional","affiliation":[]},{"given":"Simone","family":"Menabeni","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,1,4]]},"reference":[{"key":"298_CR1","unstructured":"Ansaldo STS: CBTC brochure. http:\/\/goo.gl\/3Kmb0 (2011)"},{"key":"298_CR2","doi-asserted-by":"crossref","unstructured":"Batory, D.S.: Feature models, grammars, and propositional formulas. In: Proceedings of SPLC, pp. 7\u201320 (2005)","DOI":"10.1007\/11554844_3"},{"key":"298_CR3","unstructured":"Bitsch, F.: Process model for the development of system requirements specifications for railway systems. In: Workshop on Software Specification of Safety Relevant Transportation Control Tasks (2002)"},{"key":"298_CR4","unstructured":"Bohn, J., Damm, W., Wittke, H., Klose, J., Moik, A.: Modeling and validating train system applications using statemate and live sequence charts. In: Proceedings of the Conference on Integrated Design and Process Technology (IDPT2002), Society for Design and Process Science (2002)"},{"key":"298_CR5","doi-asserted-by":"crossref","unstructured":"Boyd, S., Zowghi, D., Farroukh, A.: Measuring the expressiveness of a constrained natural language: an empirical study. In: Proceedings of the 13th IEEE International Conference on Requirements Engineering, pp. 339\u2013349 (2005)","DOI":"10.1109\/RE.2005.39"},{"key":"298_CR6","doi-asserted-by":"crossref","unstructured":"Boyd, S., Zowghi, D., Gervasi, V.: Optimal-constraint lexicons for requirements specifications. In: Proceedings of the 13th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ\u201907, pp. 203\u2013217. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-73031-6_15"},{"key":"298_CR7","doi-asserted-by":"crossref","unstructured":"Bucchiarone, A., Gnesi, S., Fantechi, A., Trentanni, G.: An experience in using a tool for evaluating a large set of natural language requirements. In: Shin, S.Y., Ossowski, S., Schumacher, M., Palakal, M.J., Hung, C.-C. (eds.) SAC, pp. 281\u2013286. ACM (2010)","DOI":"10.1145\/1774088.1774148"},{"key":"298_CR8","unstructured":"CENELEC: EN 50129, railway applications\u2014communications, signalling and processing systems\u2014safety related electronic systems for signalling (2003)"},{"key":"298_CR9","unstructured":"CENELEC: EN 50128, railway applications\u2014communications, signalling and processing systems\u2014software for railway control and protection systems (2011)"},{"key":"298_CR10","unstructured":"CENELEC: EN 50126, railway applications\u2014the specification and demonstration of reliability, availability, maintainability and safety (RAMS)\u2014part 1: generic RAMS process (2012)"},{"key":"298_CR11","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":"298_CR12","unstructured":"Clements, P.C., Northrop, L.: Software Product Lines: Practices and Patterns. Addison-Wesley Longman Inc., Boston (2001)"},{"key":"298_CR13","volume-title":"Generative Programming: Methods, Tools, and Applications","author":"K Czarnecki","year":"2000","unstructured":"Czarnecki, K., Eisenecker, U.W.: Generative Programming: Methods, Tools, and Applications. ACM Press\/Addison-Wesley, New York (2000)"},{"key":"298_CR14","doi-asserted-by":"crossref","unstructured":"Denger, C., Berry, D.M., Kamsties, E.: Higher quality requirements specifications through natural language patterns. In: Proceedings of the IEEE International Conference on Software Science Technology and Engineering, pp. 80\u201391. IEEE Computer Society (2003)","DOI":"10.1109\/SWSTE.2003.1245428"},{"key":"298_CR15","doi-asserted-by":"crossref","unstructured":"Essam\u00e9, D., Dol\u00e9, D.: B in large-scale projects: the canarsie line CBTC experience. In: Computer Science, vol. 4355\/2006, pp. 252\u2013254 (2006)","DOI":"10.1007\/11955757_21"},{"key":"298_CR16","doi-asserted-by":"crossref","unstructured":"Fabbrini, F., Fusani, M., Gnesi, S., Lami, G.: The linguistic approach to the natural language requirements quality: benefit of the use of an automatic tool. In: Software Engineering Workshop, 2001. Proceedings of the 26th Annual NASA Goddard, pp. 97\u2013105. IEEE (2001)","DOI":"10.1109\/SEW.2001.992662"},{"key":"298_CR17","doi-asserted-by":"crossref","unstructured":"Fantechi, A., Gnesi, S.: Formal modeling for product families engineering. In: Proceedings of SPLC, pp. 193\u2013202 (2008)","DOI":"10.1109\/SPLC.2008.45"},{"issue":"3","key":"298_CR18","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1145\/2211616.2211619","volume":"21","author":"A Fantechi","year":"2012","unstructured":"Fantechi, A., Gnesi, S., Lapadula, A., Mazzanti, F., Pugliese, R., Tiezzi, F.: A logical verification methodology for service-oriented computing. ACM Trans. Softw. Eng. Methodol. 21(3), 16 (2012)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"issue":"3","key":"298_CR19","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/BF01384048","volume":"4","author":"A Fantechi","year":"1994","unstructured":"Fantechi, A., Gnesi, S., Ristori, G., Carenini, M., Vanocchi, M., Moreschini, P.: Assisting requirement formalization by means of natural language translation. Form. Methods Syst. Des. 4(3), 243\u2013263 (1994)","journal-title":"Form. Methods Syst. Des."},{"key":"298_CR20","doi-asserted-by":"crossref","unstructured":"Fatwanto, A.: Specifying translatable software requirements using constrained natural language. In: 7th International Conference on Computer Science Education (ICCSE), pp. 1047\u20131052 (2012)","DOI":"10.1109\/ICCSE.2012.6295244"},{"issue":"3","key":"298_CR21","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1109\/MS.2013.44","volume":"30","author":"A Ferrari","year":"2013","unstructured":"Ferrari, A., Fantechi, A., Gnesi, S., Magnani, G.: Model-based development and formal methods in the railway industry. IEEE Softw. 30(3), 28\u201334 (2013)","journal-title":"IEEE Softw."},{"issue":"7","key":"298_CR22","doi-asserted-by":"crossref","first-page":"828","DOI":"10.1016\/j.scico.2012.04.003","volume":"78","author":"A Ferrari","year":"2013","unstructured":"Ferrari, A., Fantechi, A., Magnani, G., Grasso, D., Tempestini, M.: The metr\u00f4 rio case study. Sci. Comput. Progr. 78(7), 828\u2013842 (2013)","journal-title":"Sci. Comput. Progr."},{"key":"298_CR23","doi-asserted-by":"crossref","unstructured":"Ferrari, A., Gnesi, S.: Using collective intelligence to detect pragmatic ambiguities. In: 20th IEEE International Conference on Requirements Engineering (RE), pp. 191\u2013200. IEEE (2012)","DOI":"10.1109\/RE.2012.6345803"},{"key":"298_CR24","doi-asserted-by":"crossref","unstructured":"Ferrari, A., Gnesi, S., Tolomei, G.: Using clustering to improve the structure of natural language requirements documents. In: Doerr, J., Opdahl, A.L. (eds.) Requirements Engineering: Foundation for Software Quality. Lecture Notes in Computer Science, vol. 7830, pp. 34\u201349. Springer, Berlin (2013)","DOI":"10.1007\/978-3-642-37422-7_3"},{"key":"298_CR25","doi-asserted-by":"crossref","unstructured":"Ferrari, A., Spagnolo, G.O., dell\u2019Orletta, F.: Mining commonalities and variabilities from natural language documents. In: Kishi, T., Jarzabek, S., Gnesi, S. (eds.) SPLC, pp. 116\u2013120. ACM (2013)","DOI":"10.1145\/2491627.2491634"},{"key":"298_CR26","unstructured":"GE Transportation. Tempo CBTC Solution. http:\/\/goo.gl\/KshrR (2012)"},{"issue":"2","key":"298_CR27","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1145\/1005959.1005964","volume":"8","author":"H Gomaa","year":"1983","unstructured":"Gomaa, H.: The impact of rapid prototyping on specifying user requirements. SIGSOFT Softw. Eng. Notes 8(2), 17\u201327 (1983)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"298_CR28","unstructured":"Grover, C., Holt, A., Klein, E., Moens, M.: Designing a controlled language for interactive model checking. In: Proceedings of the Third International Workshop on Controlled Language Applications, pp. 29\u201330 (2000)"},{"key":"298_CR29","unstructured":"IEC 62290-1: Railway applications: urban guided transport management and command\/control systems. Part 1: system principles and fundamental concepts (2007)"},{"key":"298_CR30","unstructured":"IEC 62290-2: Railway applications: urban guided transport management and command\/control systems. Part 2: functional requirements specification (2011)"},{"key":"298_CR31","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":"298_CR32","unstructured":"Invensys Rail. SIRIUS brochure. http:\/\/goo.gl\/YFUiL (2009)"},{"key":"298_CR33","unstructured":"Jansen, L., Meyer Zu Horste, M., Schnieder, E.: Technical issues in modelling the European Train Control System (ETCS) using Coloured Petri Nets and the Design\/CPN tools (1998)"},{"key":"298_CR34","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":"298_CR35","unstructured":"Kuun, E.: Open standards for CBTC and CBTC radio based communications. In: APTA Rail Rail Transit Conference Proceedings (2004)"},{"key":"298_CR36","unstructured":"Mendonca, M., Branco, M., Cowan, D.: Splot: software product lines online tools. In: Proceedings of the 24th ACM SIGPLAN Conference Companion on Object Oriented Programming Systems Languages and Applications, pp. 761\u2013762. ACM (2009)"},{"key":"298_CR37","doi-asserted-by":"crossref","unstructured":"Nelken, R., Francez, N.: Automatic translation of natural language system specifications into temporal logic. In: Computer Aided Verification, pp. 360\u2013371. Springer, Berlin (1996)","DOI":"10.1007\/3-540-61474-5_83"},{"key":"298_CR38","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":"298_CR39","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-28901-1","volume-title":"Software Product Line Engineering: Foundations, Principles and Techniques","author":"K Pohl","year":"2005","unstructured":"Pohl, K., B\u00f6ckle, G., van der Linden, F.J.: Software Product Line Engineering: Foundations, Principles and Techniques. Springer, Secaucus (2005)"},{"key":"298_CR40","unstructured":"Rampelli, S., Virivinti, S.D.: Architectural design pattern representation for communications-based train control system (CBTCS). Int. J. Eng. Res. Technol. (2012)"},{"key":"298_CR41","unstructured":"Roos-Frantz, F.: Automated analysis of software product lines with orthogonal variability models: extending the fama ecosystem. PhD thesis, University of Seville (2012)"},{"key":"298_CR42","doi-asserted-by":"crossref","unstructured":"Schwaber, K.: Agile Project Management with Scrum. Microsoft Press, USA (2004)","DOI":"10.1007\/11499053_47"},{"key":"298_CR43","doi-asserted-by":"crossref","unstructured":"Schwitter, R.: English as a formal specification language. In: DEXA Workshops, pp. 228\u2013232. IEEE Computer Society (2002)","DOI":"10.1109\/DEXA.2002.1045903"},{"key":"298_CR44","unstructured":"Siemens Transportation Systems. Trainguard MT CBTC. http:\/\/goo.gl\/Xi0h0 , 2006. The Moving Block Communications Based Train Control Solution"},{"key":"298_CR45","unstructured":"Signalling Solutions Limited. URBALIS communication based train control (CBTC) delivery performance and flexibility. http:\/\/goo.gl\/G3hEe (2009)"},{"key":"298_CR46","unstructured":"Stover, J.S.: CITYFLO 650 system overview. http:\/\/goo.gl\/e26SZ (2006)"},{"key":"298_CR47","doi-asserted-by":"crossref","unstructured":"Sutcliffe, A.: Scenario-based requirements engineering. In: Proceedings of the 11th IEEE International Conference on Requirements Engineering, RE \u201903, pp. 320\u2013329, Washington, DC, USA. IEEE Computer Society (2003)","DOI":"10.1109\/ICRE.2003.1232776"},{"key":"298_CR48","doi-asserted-by":"crossref","unstructured":"Tang, W., Ning, B., Xu, T., Zhao, L.: Scenario-based modeling and verification for ctcs-3 system requirement specification. In: 2nd International Conference on Computer Engineering and Technology (ICCET), vol. 1, pp. V1-400\u2013V1-403 (2010)","DOI":"10.1109\/ICCET.2010.5486079"},{"issue":"2","key":"298_CR49","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/j.scico.2010.07.002","volume":"76","author":"MH Beek ter","year":"2011","unstructured":"ter Beek, M.H., Fantechi, A., Gnesi, S., Mazzanti, F.: A state\/event-based model-checking approach for the analysis of abstract system properties. Sci. Comput. Progr. 76(2), 119\u2013135 (2011)","journal-title":"Sci. Comput. Progr."},{"key":"298_CR50","unstructured":"Thales Transportation. Seltrac brochure. http:\/\/goo.gl\/OjhvK (2009)"},{"key":"298_CR51","doi-asserted-by":"crossref","unstructured":"Wang, H., Liu, S.: Modeling communications based train control system: a case study. In: Proceedings of ICIMA, pp. 453\u2013456 (2010)","DOI":"10.1109\/ICINDMA.2010.5538157"},{"key":"298_CR52","doi-asserted-by":"crossref","unstructured":"Wilson, W.M., Rosenberg, L.H., Hyatt, L.E.: Automated analysis of requirement specifications. In: Proceedings of ICSE \u201997, pp. 161\u2013171, New York, NY, USA. ACM (1997)","DOI":"10.1145\/253228.253258"},{"key":"298_CR53","unstructured":"Yang, C.S., Lim, J.S., Um, J.K., Han, J.M., Bang, Y., Kim, H.H., Yun, Y.H., Kim, C.J., G. Cho, Y.: Developing CBTC software using model-driven development approach. In: Proceedings of WCRR (2008)"},{"key":"298_CR54","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: Proceedings of ISADS, pp. 81\u201385 (2011)","DOI":"10.1109\/ISADS.2011.17"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-013-0298-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-013-0298-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-013-0298-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T10:47:20Z","timestamp":1746096440000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-013-0298-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,1,4]]},"references-count":54,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2014,11]]}},"alternative-id":["298"],"URL":"https:\/\/doi.org\/10.1007\/s10009-013-0298-6","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,1,4]]}}}