{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:59:39Z","timestamp":1740099579137,"version":"3.37.3"},"publisher-location":"Cham","reference-count":65,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030309848"},{"type":"electronic","value":"9783030309855"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-30985-5_1","type":"book-chapter","created":{"date-parts":[[2019,10,8]],"date-time":"2019-10-08T17:53:39Z","timestamp":1570557219000},"page":"1-11","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["The Legacy of Stefania Gnesi"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2930-6367","authenticated-orcid":false,"given":"Maurice H.","family":"ter Beek","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4648-4667","authenticated-orcid":false,"given":"Alessandro","family":"Fantechi","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8774-2346","authenticated-orcid":false,"given":"Laura","family":"Semini","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,10,9]]},"reference":[{"key":"1_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-40020-2_1","volume-title":"Recent Trends in Algebraic Development Techniques","author":"L Andrade","year":"2003","unstructured":"Andrade, L., et al.: AGILE: software architecture for mobility. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds.) WADT 2002. LNCS, vol. 2755, pp. 1\u201333. Springer, Heidelberg (2003). \n                    https:\/\/doi.org\/10.1007\/978-3-540-40020-2_1"},{"key":"1_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-642-16265-7_5","volume-title":"Integrated Formal Methods","author":"P Asirelli","year":"2010","unstructured":"Asirelli, P., ter Beek, M.H., Fantechi, A., Gnesi, S.: A logical framework to deal with variability. In: M\u00e9ry, D., Merz, S. (eds.) IFM 2010. LNCS, vol. 6396, pp. 43\u201358. Springer, Heidelberg (2010). \n                    https:\/\/doi.org\/10.1007\/978-3-642-16265-7_5"},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/978-3-642-21461-5_3","volume-title":"Formal Techniques for Distributed Systems","author":"P Asirelli","year":"2011","unstructured":"Asirelli, P., ter Beek, M.H., Fantechi, A., Gnesi, S.: A model-checking tool for families of services. In: Bruni, R., Dingel, J. (eds.) FMOODS\/FORTE -2011. LNCS, vol. 6722, pp. 44\u201358. Springer, Heidelberg (2011). \n                    https:\/\/doi.org\/10.1007\/978-3-642-21461-5_3"},{"key":"1_CR4","doi-asserted-by":"publisher","unstructured":"Asirelli, P., ter Beek, M.H., Fantechi, A., Gnesi, S.: Formal description of variability in product families. In: Proceedings of the 15th International Software Product Line Conference (SPLC 2011), pp. 130\u2013139. IEEE (2011). \n                    https:\/\/doi.org\/10.1109\/SPLC.2011.34","DOI":"10.1109\/SPLC.2011.34"},{"key":"1_CR5","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1016\/j.jlamp.2016.11.002","volume":"87","author":"D Bacciu","year":"2017","unstructured":"Bacciu, D., Carta, A., Gnesi, S., Semini, L.: An experience in using machine learning for short-term predictions in smart transportation systems. J. Logical Algebraic Methods Program. 87, 52\u201366 (2017). \n                    https:\/\/doi.org\/10.1016\/j.jlamp.2016.11.002","journal-title":"J. Logical Algebraic Methods Program."},{"key":"1_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-319-98938-9_2","volume-title":"Integrated Formal Methods","author":"D Basile","year":"2018","unstructured":"Basile, D., et al.: On the industrial uptake of formal methods in the railway domain. In: Furia, C.A., Winter, K. (eds.) IFM 2018. LNCS, vol. 11023, pp. 20\u201329. Springer, Cham (2018). \n                    https:\/\/doi.org\/10.1007\/978-3-319-98938-9_2"},{"issue":"2","key":"1_CR7","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1016\/j.jrtpm.2016.03.003","volume":"6","author":"D Basile","year":"2016","unstructured":"Basile, D., Chiaradonna, S., Di Giandomenico, F., Gnesi, S.: A stochastic model-based approach to analyse reliable energy-saving rail road switch heating systems. J. Rail Transp. Plann. Manag. 6(2), 163\u2013181 (2016). \n                    https:\/\/doi.org\/10.1016\/j.jrtpm.2016.03.003","journal-title":"J. Rail Transp. Plann. Manag."},{"key":"1_CR8","first-page":"32","volume":"98","author":"MH Beek ter","year":"2014","unstructured":"ter Beek, M.H., et al.: A quantitative approach to the design and analysis of collective adaptive systems for smart cities. ERCIM News 98, 32 (2014). \n                    http:\/\/ercim-news.ercim.eu\/en98\/special\/a-quantitative-approach-to-the-design-and-analysis-of-collective-adaptive-systems-for-smart-cities","journal-title":"ERCIM News"},{"issue":"2","key":"1_CR9","doi-asserted-by":"publisher","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. Program. 76(2), 119\u2013135 (2011). \n                    https:\/\/doi.org\/10.1016\/j.scico.2010.07.002","journal-title":"Sci. Comput. Program."},{"key":"1_CR10","doi-asserted-by":"publisher","unstructured":"ter Beek, M.H., Gnesi, S., Koch, N., Mazzanti, F.: Formal verification of an automotive scenario in service-oriented computing. In: Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), pp. 613\u2013622. ACM (2008). \n                    https:\/\/doi.org\/10.1145\/1368088.1368173","DOI":"10.1145\/1368088.1368173"},{"issue":"4","key":"1_CR11","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/j.jlap.2008.11.004","volume":"78","author":"MH Beek ter","year":"2009","unstructured":"ter Beek, M.H., Gnesi, S., Latella, D., Massink, M., Sebastianis, M., Trentanni, G.: Assisting the design of a groupware system. J. Logic Algebraic Program. 78(4), 191\u2013232 (2009). \n                    https:\/\/doi.org\/10.1016\/j.jlap.2008.11.004","journal-title":"J. Logic Algebraic Program."},{"key":"1_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.scico.2018.09.006","volume":"169","author":"MH Beek ter","year":"2019","unstructured":"ter Beek, M.H., Damiani, F., Gnesi, S., Mazzanti, F., Paolini, L.: On the expressiveness of modal transition systems with variability constraints. Sci. Comput. Program. 169, 1\u201317 (2019). \n                    https:\/\/doi.org\/10.1016\/j.scico.2018.09.006","journal-title":"Sci. Comput. Program."},{"issue":"2","key":"1_CR13","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1016\/j.jlamp.2015.11.006","volume":"85","author":"MH Beek ter","year":"2016","unstructured":"ter Beek, M.H., Fantechi, A., Gnesi, S., Mazzanti, F.: Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints. J. Logical Algebraic Methods Program. 85(2), 287\u2013315 (2016). \n                    https:\/\/doi.org\/10.1016\/j.jlamp.2015.11.006","journal-title":"J. Logical Algebraic Methods Program."},{"issue":"4","key":"1_CR14","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/s10009-018-0494-5","volume":"20","author":"MH Beek ter","year":"2018","unstructured":"ter Beek, M.H., Gnesi, S., Knapp, A.: Formal methods and automated verification. Int. J. Softw. Tools Technol. Transfer 20(4), 355\u2013358 (2018). \n                    https:\/\/doi.org\/10.1007\/s10009-018-0494-5","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"issue":"2","key":"1_CR15","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/s10009-018-0487-4","volume":"20","author":"MH Beek ter","year":"2018","unstructured":"ter Beek, M.H., Gnesi, S., Knapp, A.: Formal methods for transport systems. Int. J. Softw. Tools Technol. Transfer 20(2), 237\u2013241 (2018). \n                    https:\/\/doi.org\/10.1007\/s10009-018-0487-4","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"1_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/978-3-662-49224-6_22","volume-title":"Software Engineering and Formal Methods","author":"MH Beek ter","year":"2015","unstructured":"ter Beek, M.H., Gnesi, S., Latella, D., Massink, M.: Towards automatic decision support for bike-sharing system design. In: Bianculli, D., Calinescu, R., Rumpe, B. (eds.) SEFM 2015. LNCS, vol. 9509, pp. 266\u2013280. Springer, Heidelberg (2015). \n                    https:\/\/doi.org\/10.1007\/978-3-662-49224-6_22"},{"key":"1_CR17","doi-asserted-by":"publisher","unstructured":"ter Beek, M.H., Gnesi, S., Mazzanti, F., Moiso, C.: Formal modelling and verification of an asynchronous extension of SOAP. In: Proceedings of the 4th IEEE European Conference on Web Services (ECOWS 2006), pp. 287\u2013296. IEEE (2006). \n                    https:\/\/doi.org\/10.1109\/ECOWS.2006.22","DOI":"10.1109\/ECOWS.2006.22"},{"key":"1_CR18","doi-asserted-by":"publisher","unstructured":"ter Beek, M.H., Gnesi, S., Montangero, C., Semini, L.: Detecting policy conflicts by model checking UML state machines. In: Nakamura, M., Reiff-Marganiec, S. (eds.) Proceedings of Feature Interactions in Software and Communication Systems X (ICFI 2009), pp. 59\u201374. IOS Press (2009). \n                    https:\/\/doi.org\/10.3233\/978-1-60750-014-8-59","DOI":"10.3233\/978-1-60750-014-8-59"},{"key":"1_CR19","doi-asserted-by":"publisher","unstructured":"ter Beek, M.H., Massink, M., Latella, D., Gnesi, S., Forghieri, A., Sebastianis, M.: A case study on the automated verification of groupware protocols. In: Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), pp. 596\u2013603. ACM (2005). \n                    https:\/\/doi.org\/10.1145\/1062455.1062560","DOI":"10.1145\/1062455.1062560"},{"issue":"3","key":"1_CR20","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1016\/S0951-8320(00)00078-8","volume":"71","author":"C Bernardeschi","year":"2001","unstructured":"Bernardeschi, C., Fantechi, A., Gnesi, S.: Formal validation of fault-tolerance mechanisms inside GUARDS. Reliab. Eng. Sys. Saf. 71(3), 261\u2013270 (2001). \n                    https:\/\/doi.org\/10.1016\/S0951-8320(00)00078-8","journal-title":"Reliab. Eng. Sys. Saf."},{"key":"1_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/978-3-540-24667-1_14","volume-title":"Software Product-Family Engineering","author":"A Bertolino","year":"2004","unstructured":"Bertolino, A., Gnesi, S.: PLUTO: a test methodology for product families. In: van der Linden, F.J. (ed.) PFE 2003. LNCS, vol. 3014, pp. 181\u2013197. Springer, Heidelberg (2004). \n                    https:\/\/doi.org\/10.1007\/978-3-540-24667-1_14"},{"key":"1_CR22","first-page":"207","volume":"54","author":"A Bouali","year":"1994","unstructured":"Bouali, A., Gnesi, S., Larosa, S.: JACK: just another concurrency kit - the integration project. Bull. EATCS 54, 207\u2013223 (1994)","journal-title":"Bull. EATCS"},{"key":"1_CR23","doi-asserted-by":"publisher","unstructured":"Bucchiarone, A., Gnesi, S., Lami, G., Trentanni, G., Fantechi, A.: QuARS express - a tool demonstration. In: Proceedings of the 23rd IEEE\/ACM International Conference on Automated Software Engineering (ASE 2008), pp. 473\u2013474. IEEE (2008). \n                    https:\/\/doi.org\/10.1109\/ASE.2008.77","DOI":"10.1109\/ASE.2008.77"},{"key":"1_CR24","first-page":"52","volume":"75","author":"A Bucchiarone","year":"2008","unstructured":"Bucchiarone, A., Gnesi, S., Trentanni, G., Fantechi, A.: Evaluation of natural language requirements in the MODCONTROL project. ERCIM News 75, 52\u201353 (2008). \n                    http:\/\/ercim-news.ercim.eu\/evaluation-of-natural-language-requirements-in-the-modcontrol-project","journal-title":"ERCIM News"},{"key":"1_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/11494881_9","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"R Corin","year":"2005","unstructured":"Corin, R., Di Caprio, G., Etalle, S., Gnesi, S., Lenzini, G., Moiso, C.: A formal security analysis of an OSA\/Parlay authentication interface. In: Steffen, M., Zavattaro, G. (eds.) FMOODS 2005. LNCS, vol. 3535, pp. 131\u2013146. Springer, Heidelberg (2005). \n                    https:\/\/doi.org\/10.1007\/11494881_9"},{"key":"1_CR26","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/j.datak.2017.11.003","volume":"113","author":"F Corradini","year":"2018","unstructured":"Corradini, F., et al.: A guidelines framework for understandable BPMN models. Data Knowl. Eng. 113, 129\u2013154 (2018). \n                    https:\/\/doi.org\/10.1016\/j.datak.2017.11.003","journal-title":"Data Knowl. Eng."},{"issue":"1","key":"1_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0167-6423(99)00014-3","volume":"36","author":"J Cu\u00e9llar","year":"2000","unstructured":"Cu\u00e9llar, J., Gnesi, S., Latella, D.: Foreword. Sci. Comput. Program. 36(1), 1\u20133 (2000). \n                    https:\/\/doi.org\/10.1016\/S0167-6423(99)00014-3","journal-title":"Sci. Comput. Program."},{"key":"1_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/3-540-60630-0_10","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"N Francesco De","year":"1995","unstructured":"De Francesco, N., Fantechi, A., Gnesi, S., Inverardi, P.: Model checking of non-finite state processes by finite approximations. In: Brinksma, E., Cleaveland, W.R., Larsen, K.G., Margaria, T., Steffen, B. (eds.) TACAS 1995. LNCS, vol. 1019, pp. 195\u2013215. Springer, Heidelberg (1995). \n                    https:\/\/doi.org\/10.1007\/3-540-60630-0_10"},{"key":"1_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/3-540-55179-4_5","volume-title":"Computer Aided Verification","author":"R Nicola De","year":"1992","unstructured":"De Nicola, R., Fantechi, A., Gnesi, S., Ristori, G.: An action based framework for verifying logical and behavioural properties of concurrent systems. In: Larsen, K.G., Skou, A. (eds.) CAV 1991. LNCS, vol. 575, pp. 37\u201347. Springer, Heidelberg (1992). \n                    https:\/\/doi.org\/10.1007\/3-540-55179-4_5"},{"key":"1_CR30","unstructured":"Fabbrini, F., Fusani, M., Gervasi, V., Gnesi, S., Ruggieri, S.: On linguistic quality of natural language requirements. In: Dubois, E., Opdahl, A.L., Pohl, K. (eds.) Proceedings of the 4th International Workshop on Requirements Engineering: Foundation for Software Quality (REFSQ 1998), pp. 57\u201362. Presses Universitaires de Namur (1998)"},{"key":"1_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/978-3-319-47169-3_18","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications","author":"A Fantechi","year":"2016","unstructured":"Fantechi, A., Ferrari, A., Gnesi, S.: Formal methods and safety certification: challenges in the railways domain. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9953, pp. 261\u2013265. Springer, Cham (2016). \n                    https:\/\/doi.org\/10.1007\/978-3-319-47169-3_18"},{"issue":"6","key":"1_CR32","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1007\/s10009-014-0342-1","volume":"16","author":"A Fantechi","year":"2014","unstructured":"Fantechi, A., Flammini, F., Gnesi, S.: Formal methods for railway control systems. Int. J. Softw. Tools Technol. Transfer 16(6), 643\u2013646 (2014). \n                    https:\/\/doi.org\/10.1007\/s10009-014-0342-1","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"1_CR33","doi-asserted-by":"publisher","unstructured":"Fantechi, A., Gnesi, S.: Formal modeling for product families engineering. In: Proceedings of the 12th International Software Product Line Conference (SPLC 2008), pp. 193\u2013202. IEEE (2008). \n                    https:\/\/doi.org\/10.1109\/SPLC.2008.45","DOI":"10.1109\/SPLC.2008.45"},{"key":"1_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/978-3-642-24270-0_28","volume-title":"Computer Safety, Reliability, and Security","author":"A Fantechi","year":"2011","unstructured":"Fantechi, A., Gnesi, S.: On the adoption of model checking in safety-related software industry. In: Flammini, F., Bologna, S., Vittorini, V. (eds.) SAFECOMP 2011. LNCS, vol. 6894, pp. 383\u2013396. Springer, Heidelberg (2011). \n                    https:\/\/doi.org\/10.1007\/978-3-642-24270-0_28"},{"key":"1_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/BFb0022125","volume-title":"ESEC \u201987","author":"A Fantechi","year":"1987","unstructured":"Fantechi, A., Gnesi, S., Inverardi, P., Montanari, U.: An execution environment for the formal definition of Ada. In: Nichols, H., Simpson, D. (eds.) ESEC 1987. LNCS, vol. 289, pp. 327\u2013335. Springer, Heidelberg (1987). \n                    https:\/\/doi.org\/10.1007\/BFb0022125"},{"key":"1_CR36","doi-asserted-by":"publisher","unstructured":"Fantechi, A., Gnesi, S., Lami, G., Maccari, A.: Application of linguistic techniques for use case analysis. In: Proceedings of the 10th Anniversary IEEE Joint International Conference on Requirements Engineering (RE 2002), pp. 157\u2013164. IEEE (2002). \n                    https:\/\/doi.org\/10.1109\/ICRE.2002.1048518","DOI":"10.1109\/ICRE.2002.1048518"},{"key":"1_CR37","unstructured":"Fantechi, A., Gnesi, S., Laneve, C.: An expressive temporal logic for basic LOTOS. In: Vuong, S.T. (ed.) Proceedings of the IFIP TC\/WG6.1 2nd International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE 1989), pp. 261\u2013276. North-Holland (1989)"},{"issue":"3","key":"1_CR38","doi-asserted-by":"publisher","first-page":"16:1","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:1\u201316:46 (2012). \n                    https:\/\/doi.org\/10.1145\/2211616.2211619","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"1_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/3-540-48257-1_14","volume-title":"Applied Formal Methods \u2014 FM-Trends 98","author":"A Fantechi","year":"1999","unstructured":"Fantechi, A., Gnesi, S., Mazzanti, F., Pugliese, R., Tronci, E.: A symbolic model checker for ACTL. In: Hutter, D., Stephan, W., Traverso, P., Ullmann, M. (eds.) FM-Trends 1998. LNCS, vol. 1641, pp. 228\u2013242. Springer, Heidelberg (1999). \n                    https:\/\/doi.org\/10.1007\/3-540-48257-1_14"},{"issue":"2","key":"1_CR40","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/BF01384084","volume":"4","author":"A Fantechi","year":"1994","unstructured":"Fantechi, A., Gnesi, S., Ristori, G.: Model checking for action-based logics. Formal Methods Sys. Des. 4(2), 187\u2013203 (1994). \n                    https:\/\/doi.org\/10.1007\/BF01384084","journal-title":"Formal Methods Sys. Des."},{"key":"1_CR41","doi-asserted-by":"publisher","unstructured":"Fantechi, A., Gnesi, S., Semini, L.: Applying the QuARS tool to detect variability. In: Proceedings of the 23rd International Systems and Software Product Line Conference (SPLC 2019), pp. 29\u201332. ACM (2019). \n                    https:\/\/doi.org\/10.1145\/3307630.3342388","DOI":"10.1145\/3307630.3342388"},{"key":"1_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/978-3-030-18744-6_15","volume-title":"Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification","author":"A Ferrari","year":"2019","unstructured":"Ferrari, A., et al.: Survey on formal methods and tools in railways: the ASTRail approach. In: Collart-Dutilleul, S., Lecomte, T., Romanovsky, A. (eds.) RSSRail 2019. LNCS, vol. 11495, pp. 226\u2013241. Springer, Cham (2019). \n                    https:\/\/doi.org\/10.1007\/978-3-030-18744-6_15"},{"issue":"6","key":"1_CR43","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1109\/MS.2017.4121207","volume":"34","author":"A Ferrari","year":"2017","unstructured":"Ferrari, A., Dell\u2019Orletta, F., Esuli, A., Gervasi, V., Gnesi, S.: Natural language requirements processing: a 4D vision. IEEE Softw. 34(6), 28\u201335 (2017). \n                    https:\/\/doi.org\/10.1109\/MS.2017.4121207","journal-title":"IEEE Softw."},{"issue":"3","key":"1_CR44","doi-asserted-by":"publisher","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). \n                    https:\/\/doi.org\/10.1109\/MS.2013.44","journal-title":"IEEE Softw."},{"issue":"6","key":"1_CR45","doi-asserted-by":"publisher","first-page":"3684","DOI":"10.1007\/s10664-018-9596-7","volume":"23","author":"A Ferrari","year":"2018","unstructured":"Ferrari, A., et al.: Detecting requirements defects with NLP patterns: an industrial experience. Empirical Softw. Eng. 23(6), 3684\u20133733 (2018). \n                    https:\/\/doi.org\/10.1007\/s10664-018-9596-7","journal-title":"Empirical Softw. Eng."},{"key":"1_CR46","doi-asserted-by":"publisher","unstructured":"Ferrari, A., Spoletini, P., Gnesi, S.: Ambiguity as a resource to disclose tacit knowledge. In: Proceedings of the 23rd IEEE International Requirements Engineering Conference (RE 2015), pp. 26\u201335. IEEE (2015). \n                    https:\/\/doi.org\/10.1109\/RE.2015.7320405","DOI":"10.1109\/RE.2015.7320405"},{"issue":"3","key":"1_CR47","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/s00766-016-0249-3","volume":"21","author":"A Ferrari","year":"2016","unstructured":"Ferrari, A., Spoletini, P., Gnesi, S.: Ambiguity and tacit knowledge in requirements. Requirements Eng. 21(3), 333\u2013355 (2016). \n                    https:\/\/doi.org\/10.1007\/s00766-016-0249-3","journal-title":"Requirements Eng."},{"issue":"4","key":"1_CR48","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1145\/990010.990013","volume":"12","author":"GL Ferrari","year":"2003","unstructured":"Ferrari, G.L., Gnesi, S., Montanari, U., Pistore, M.: A model-checking verification environment for mobile processes. ACM Trans. Softw. Eng. Methodol. 12(4), 440\u2013473 (2003). \n                    https:\/\/doi.org\/10.1145\/990010.990013","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"1_CR49","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1007\/BFb0028772","volume-title":"Computer Aided Verification","author":"G Ferrari","year":"1998","unstructured":"Ferrari, G., Gnesi, S., Montanari, U., Pistore, M., Ristori, G.: Verifying mobile processes in the HAL environment. In: Hu, A.J., Vardi, M.Y. (eds.) CAV 1998. LNCS, vol. 1427, pp. 511\u2013515. Springer, Heidelberg (1998). \n                    https:\/\/doi.org\/10.1007\/BFb0028772"},{"issue":"4\u20135","key":"1_CR50","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1007\/s10009-005-0208-7","volume":"8","author":"JS Fitzgerald","year":"2006","unstructured":"Fitzgerald, J.S., Gnesi, S., Mandrioli, D.: The industrialization of formal methods. Int. J. Softw. Tools Technol. Transfer 8(4\u20135), 301\u2013302 (2006). \n                    https:\/\/doi.org\/10.1007\/s10009-005-0208-7","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"1_CR51","unstructured":"Fornari, F., Gnesi, S., La Rosa, M., Polini, A., Re, B., Spagnolo, G.O.: Checking business process modeling guidelines in apromore. In: Claris\u00f3, R., et al. (eds.) Proceedings of the 15th International Conference on Business Process Modeling (BPM 2017) Demo Track. CEUR Workshop Proceedings, vol. 1920. CEUR-WS.org (2017). \n                    http:\/\/ceur-ws.org\/Vol-1920\/BPM_2017_paper_204.pdf"},{"issue":"3","key":"1_CR52","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/S0167-6423(02)00091-6","volume":"46","author":"H Garavel","year":"2003","unstructured":"Garavel, H., Gnesi, S., Schieferdecker, I.: Special issue on the fifth international workshop of the ERCIM working group on formal methods for industrial critical systems. Sci. Comput. Program. 46(3), 195\u2013196 (2003). \n                    https:\/\/doi.org\/10.1016\/S0167-6423(02)00091-6","journal-title":"Sci. Comput. Program."},{"key":"1_CR53","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1016\/S1571-0661(04)80829-6","volume":"80","author":"S Gnesi","year":"2003","unstructured":"Gnesi, S.: Formal specification and verification of complex systems. Electron. Notes Theoret. Comput. Sci. 80, 294\u2013298 (2003). \n                    https:\/\/doi.org\/10.1016\/S1571-0661(04)80829-6","journal-title":"Electron. Notes Theoret. Comput. Sci."},{"issue":"2","key":"1_CR54","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/s00165-019-00481-4","volume":"31","author":"S Gnesi","year":"2019","unstructured":"Gnesi, S., Cavalcanti, A., Fitzgerald, J., Heitmeyer, C.: Editorial. Formal Aspects Comput. 31(2), 131\u2013132 (2019). \n                    https:\/\/doi.org\/10.1007\/s00165-019-00481-4","journal-title":"Formal Aspects Comput."},{"issue":"5","key":"1_CR55","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1007\/s10009-015-0386-x","volume":"17","author":"S Gnesi","year":"2015","unstructured":"Gnesi, S., Jarzabek, S.: Special section on the 17th international software product. Int. J. Softw. Tools Technol. Transfer 17(5), 555\u2013557 (2015). \n                    https:\/\/doi.org\/10.1007\/s10009-015-0386-x","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"issue":"4","key":"1_CR56","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/s001650050019","volume":"10","author":"S Gnesi","year":"1998","unstructured":"Gnesi, S., Latella, D.: Editorial. Formal Aspects Comput. 10(4), 311\u2013312 (1998). \n                    https:\/\/doi.org\/10.1007\/s001650050019","journal-title":"Formal Aspects Comput."},{"issue":"2","key":"1_CR57","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1023\/A:1008669025349","volume":"12","author":"S Gnesi","year":"1998","unstructured":"Gnesi, S., Latella, D.: Special issue on the first international workshop of the ERCIM working group on formal methods for industrial critical systems. Formal Methods Sys. Des. 12(2), 123\u2013124 (1998). \n                    https:\/\/doi.org\/10.1023\/A:1008669025349","journal-title":"Formal Methods Sys. Des."},{"issue":"2","key":"1_CR58","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1023\/A:1011279615774","volume":"19","author":"S Gnesi","year":"2001","unstructured":"Gnesi, S., Latella, D.: Introduction: special issue on the fourth international workshop of the ERCIM working group on formal methods for industrial critical systems. Formal Methods Syst. Des. 19(2), 119\u2013120 (2001). \n                    https:\/\/doi.org\/10.1023\/A:1011279615774","journal-title":"Formal Methods Syst. Des."},{"key":"1_CR59","doi-asserted-by":"publisher","unstructured":"Gnesi, S., Latella, D., Lenzini, G., Abbaneo, C., Amendola, A.M., Marmo, P.: An automatic SPIN validation of a safety critical railway control system. In: Proceedings of the International Conference on Dependable Systems and Networks (DSN 2000), pp. 119\u2013124. IEEE (2000). \n                    https:\/\/doi.org\/10.1109\/ICDSN.2000.857524","DOI":"10.1109\/ICDSN.2000.857524"},{"key":"1_CR60","doi-asserted-by":"publisher","unstructured":"Gnesi, S., Latella, D., Massink, M.: A stochastic extension of a behavioural subset of UML statechart diagrams. In: Proceedings of the 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), pp. 55\u201364. IEEE (2000). \n                    https:\/\/doi.org\/10.1109\/HASE.2000.895442","DOI":"10.1109\/HASE.2000.895442"},{"key":"1_CR61","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/j.entcs.2004.02.005","volume":"99","author":"S Gnesi","year":"2004","unstructured":"Gnesi, S., Lenzini, G., Martinelli, F.: Applying generalized non deducibility on compositions (GNDC) approach in dependability. Electron. Notes Theoret. Comput. Sci. 99, 111\u2013126 (2004). \n                    https:\/\/doi.org\/10.1016\/j.entcs.2004.02.005","journal-title":"Electron. Notes Theoret. Comput. Sci."},{"volume-title":"Formal Methods for Industrial Critical Systems: A Survey of Applications","year":"2013","key":"1_CR62","unstructured":"Gnesi, S., Margaria, T. (eds.): Formal Methods for Industrial Critical Systems: A Survey of Applications. Wiley, Hoboken (2013)"},{"issue":"4","key":"1_CR63","doi-asserted-by":"publisher","first-page":"737","DOI":"10.1145\/322276.322285","volume":"28","author":"S Gnesi","year":"1981","unstructured":"Gnesi, S., Montanari, U., Martelli, A.: Dynamic programming as graph searching: an algebraic approach. J. ACM 28(4), 737\u2013751 (1981). \n                    https:\/\/doi.org\/10.1145\/322276.322285","journal-title":"J. ACM"},{"key":"1_CR64","unstructured":"Gnesi, S., Trentanni, G.: QuARS: a NLP tool for requirements analysis. In: Spoletini, P., et al. (eds.) Proceedings of REFSQ-2019 2nd Workshop on Natural Language Processing for Requirements Engineering (NLP4RE 2019). CEUR Workshop Proceedings, vol. 2376. CEUR-WS.org (2019). \n                    http:\/\/ceur-ws.org\/Vol-2376\/NLP4RE19_paper07.pdf"},{"issue":"1","key":"1_CR65","first-page":"53","volume":"20","author":"G Lami","year":"2005","unstructured":"Lami, G., Gnesi, S., Trentanni, G., Fabbrini, F., Fusani, M.: An automatic tool for the analysis of natural language requirements. Comput. Syst. Sci. Eng. 20(1), 53\u201362 (2005)","journal-title":"Comput. Syst. Sci. Eng."}],"container-title":["Lecture Notes in Computer Science","From Software Engineering to Formal Methods and Tools, and Back"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-30985-5_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,8]],"date-time":"2019-10-08T17:53:53Z","timestamp":1570557233000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-30985-5_1"}},"subtitle":["From Software Engineering to Formal Methods and Tools, and Back"],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030309848","9783030309855"],"references-count":65,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-30985-5_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"9 October 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}