{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,12,3]],"date-time":"2022-12-03T05:42:47Z","timestamp":1670046167367},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2022,10,28]],"date-time":"2022-10-28T00:00:00Z","timestamp":1666915200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,10,28]],"date-time":"2022-10-28T00:00:00Z","timestamp":1666915200000},"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":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2022,12]]},"DOI":"10.1007\/s10009-022-00687-7","type":"journal-article","created":{"date-parts":[[2022,10,28]],"date-time":"2022-10-28T19:08:03Z","timestamp":1666984083000},"page":"973-976","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Formal methods and tools for industrial critical systems"],"prefix":"10.1007","volume":"24","author":[{"given":"Alberto","family":"Lluch Lafuente","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anastasia","family":"Mavridou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,10,28]]},"reference":[{"issue":"1","key":"687_CR1","doi-asserted-by":"publisher","first-page":"6:1","DOI":"10.1145\/3158668","volume":"28","author":"G Agha","year":"2018","unstructured":"Agha, G., Palmskog, K.: A survey of statistical model checking. ACM Trans. Model. Comput. Simul. 28(1), 6:1-6:39 (2018). https:\/\/doi.org\/10.1145\/3158668","journal-title":"ACM Trans. Model. Comput. Simul."},{"key":"687_CR2","doi-asserted-by":"crossref","unstructured":"Almeida, J.B., Frade, M.J., Pinto, J.S., Melo\u00a0de Sousa, S.: An overview of formal methods tools and techniques. In: Rigorous Software Development: An Introduction to Program Verification, pp 15\u201344. Springer (2011). https:\/\/doi.org\/10.1007\/978-0-85729-018-2_2","DOI":"10.1007\/978-0-85729-018-2_2"},{"key":"687_CR3","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008). http:\/\/mitpress.mit.edu\/books\/principles-model-checking"},{"key":"687_CR4","doi-asserted-by":"crossref","unstructured":"Basile, D., ter Beek, M.H., Fantechi, A., Gnesi, S., Mazzanti, F., Piattino, A., Trentini, D., Ferrari, A.: On the industrial uptake of formal methods in the railway domain. In: Furia, C.A., Winter, K. (eds.) Proceedings of the 14th International Conference on Integrated Formal Methods (iFM 2018), Springer, Lecture Notes in Computer Science, vol. 11023, pp. 20\u201329 (2018). https:\/\/doi.org\/10.1007\/978-3-319-98938-9_2","DOI":"10.1007\/978-3-319-98938-9_2"},{"key":"687_CR5","doi-asserted-by":"crossref","unstructured":"Belo\u00a0Louren\u00e7o, C., Cousineau, D., Faissole, F., March\u00e9, C., Mentr\u00e9, D., Inoue, H.: Automated formal analysis of temporal properties of ladder programs. Int. J. Softw. Tools Technol. Transf. (in this issue)(2022)","DOI":"10.1007\/s10009-022-00680-0"},{"issue":"5","key":"687_CR6","doi-asserted-by":"publisher","first-page":"e1943:1","DOI":"10.1002\/smr.1943","volume":"30","author":"S Bonfanti","year":"2018","unstructured":"Bonfanti, S., Gargantini, A., Mashkoor, A.: A systematic literature review of the use of formal methods in medical software systems. J. Softw. Evol. Process 30(5), e1943:1-e1943:18 (2018). https:\/\/doi.org\/10.1002\/smr.1943","journal-title":"J. Softw. Evol. Process"},{"key":"687_CR7","first-page":"71","volume-title":"Computing Handbook, chap 71","author":"JP Bowen","year":"2014","unstructured":"Bowen, J.P., Hinchey, M.G.: Formal methods. In: Gonzalez, T.F., Diaz-Herrera, J., Tucker, A. (eds.) Computing Handbook, chap 71, pp. 71\u201375. CRC Press, Cambridge (2014)"},{"issue":"2\u20133","key":"687_CR8","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1023\/B:FORM.0000040027.28662.a4","volume":"25","author":"GP Brat","year":"2004","unstructured":"Brat, G.P., Drusinsky, D., Giannakopoulou, D., Goldberg, A., Havelund, K., Lowry, M.R., Pasareanu, C.S., Venet, A., Visser, W., Washington, R.: Experimental evaluation of verification and validation tools on Martian Rover software. Form. Methods Syst. Des. 25(2\u20133), 167\u2013198 (2004). https:\/\/doi.org\/10.1023\/B:FORM.0000040027.28662.a4","journal-title":"Form. Methods Syst. Des."},{"key":"687_CR9","doi-asserted-by":"publisher","DOI":"10.1201\/9781315216140","volume-title":"Formal Methods in Manufacturing","year":"2014","unstructured":"Campos, J., Seatzu, C., Xie, X. (eds.): Formal Methods in Manufacturing. CRC, Cambridge (2014). https:\/\/doi.org\/10.1201\/9781315216140"},{"issue":"4","key":"687_CR10","doi-asserted-by":"publisher","first-page":"626","DOI":"10.1145\/242223.242257","volume":"28","author":"EM Clarke","year":"1996","unstructured":"Clarke, E.M., Wing, J.M., et al.: Formal methods: state of the art and future directions. ACM Comput. Surv. 28(4), 626\u2013643 (1996). https:\/\/doi.org\/10.1145\/242223.242257","journal-title":"ACM Comput. Surv."},{"issue":"11","key":"687_CR11","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1145\/1592761.1592781","volume":"52","author":"EM Clarke","year":"2009","unstructured":"Clarke, E.M., Emerson, E.A., Sifakis, J.: Model checking: algorithmic verification and debugging. Commun. ACM 52(11), 74\u201384 (2009). https:\/\/doi.org\/10.1145\/1592761.1592781","journal-title":"Commun. ACM"},{"key":"687_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10575-8","volume-title":"Handbook of Model Checking","year":"2018","unstructured":"Clarke, E.M., Henzinger, T.A., Veith, H., Bloem, R. (eds.): Handbook of Model Checking. Springer, Berlin (2018). https:\/\/doi.org\/10.1007\/978-3-319-10575-8"},{"key":"687_CR13","doi-asserted-by":"publisher","DOI":"10.1016\/C2009-0-20452-1","volume-title":"Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems: An International Survey. Advanced Computing and Telecommunication Series","author":"D Craigen","year":"1995","unstructured":"Craigen, D., Gerhart, S., Ralston, T.: Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems: An International Survey. Advanced Computing and Telecommunication Series. William Andrew, Norwich (1995). https:\/\/doi.org\/10.1016\/C2009-0-20452-1"},{"key":"687_CR14","doi-asserted-by":"publisher","DOI":"10.1145\/3520480","author":"A Ferrari","year":"2022","unstructured":"Ferrari, A., ter Beek, M.H.: Formal methods in railways: a systematic mapping study. ACM Comput. Surv. (2022). https:\/\/doi.org\/10.1145\/3520480","journal-title":"ACM Comput. Surv."},{"key":"687_CR15","doi-asserted-by":"crossref","unstructured":"Garavel, H., ter Beek, M.H., van\u00a0de Pol, J.: The 2020 expert survey on formal methods. In: ter Beek, M.H., Ni\u010dkovi\u0107, D. (eds.) Proceedings of the 25th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2020), Springer, Lecture Notes in Computer Science, vol. 12327, pp. 3\u201369 (2020). https:\/\/doi.org\/10.1007\/978-3-030-58298-2_1","DOI":"10.1007\/978-3-030-58298-2"},{"issue":"6","key":"687_CR16","doi-asserted-by":"publisher","first-page":"4473","DOI":"10.1007\/s10664-020-09836-5","volume":"25","author":"M Gleirscher","year":"2020","unstructured":"Gleirscher, M., Marmsoler, D.: Formal methods in dependable systems engineering: a survey of professionals from Europe and North America. Empir. Softw. Eng. 25(6), 4473\u20134546 (2020). https:\/\/doi.org\/10.1007\/s10664-020-09836-5","journal-title":"Empir. Softw. Eng."},{"key":"687_CR17","doi-asserted-by":"publisher","DOI":"10.1002\/9781118459898","volume-title":"Formal Methods for Industrial Critical Systems: A Survey of Applications","year":"2013","unstructured":"Gnesi, S., Margaria, T. (eds.): Formal Methods for Industrial Critical Systems: A Survey of Applications. Wiley, Hoboken (2013). https:\/\/doi.org\/10.1002\/9781118459898"},{"issue":"4","key":"687_CR18","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1007\/s10009-017-0455-4","volume":"19","author":"M G\u00fcdemann","year":"2017","unstructured":"G\u00fcdemann, M., N\u00fa\u00f1ez, M.: Preface of the special issue on formal methods in industrial critical systems. Int. J. Softw. Tools Technol. Transf. 19(4), 391\u2013393 (2017). https:\/\/doi.org\/10.1007\/s10009-017-0455-4","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"687_CR19","doi-asserted-by":"crossref","unstructured":"Hansen, S.T., Thule, C., Gomes, C., Pol, J.v.d., Palmieri, M., Oguz, I.E., Madsen, F., Alfonso, J., Castellanos, J.A., Rodriguez, J.M.: Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps. Int. J. Softw. Tools Technol. Transf. (in this issue) (2022)","DOI":"10.1007\/s10009-022-00686-8"},{"key":"687_CR20","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1081\/E-ESE-120044313","volume-title":"Encyclopedia of Software Engineering","author":"M Hinchey","year":"2010","unstructured":"Hinchey, M., Bowen, J.P., Vassev, E.: Formal methods. In: Laplante, P.A. (ed.) Encyclopedia of Software Engineering, pp. 308\u2013320. Taylor & Francis, London (2010). https:\/\/doi.org\/10.1081\/E-ESE-120044313"},{"key":"687_CR21","doi-asserted-by":"crossref","unstructured":"Hinchey, M.G., Bowen, J.P. (eds.): Industrial-Strength Formal Methods in Practice. Formal Approaches to Computing Information Technology. Springer, Berlin (1999). https:\/\/doi.org\/10.1007\/978-1-4471-0523-7","DOI":"10.1007\/978-1-4471-0523-7"},{"key":"687_CR22","doi-asserted-by":"crossref","unstructured":"Kiviriga, A., Larsen, K.G., Nyman, U.: Randomized reachability analysis in Uppaal: fast error detection in timed systems. Int. J. Softw. Tools Technol. Transf. (In this issue) (2022)","DOI":"10.1007\/s10009-022-00681-z"},{"issue":"1","key":"687_CR23","doi-asserted-by":"publisher","first-page":"5:1","DOI":"10.1145\/3522582","volume":"34","author":"T Kulik","year":"2022","unstructured":"Kulik, T., Dongol, B., Larsen, P.G., Macedo, H.D., Schneider, S., Tran-J\u00f8rgensen, P.W.V., Woodcock, J.: A survey of practical formal methods for security. Form. Asp. Comput. 34(1), 5:1-5:39 (2022). https:\/\/doi.org\/10.1145\/3522582","journal-title":"Form. Asp. Comput."},{"key":"687_CR24","doi-asserted-by":"crossref","unstructured":"Lluch-Lafuente, A., Mavridou, A. (eds.): Proceedings of the 26th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2021), Lecture Notes in Computer Science, vol. 12863. Springer (2021) .https:\/\/doi.org\/10.1007\/978-3-030-85248-1","DOI":"10.1007\/978-3-030-85248-1"},{"issue":"1","key":"687_CR25","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1109\/MITP.2020.2968715","volume":"22","author":"T Margaria","year":"2020","unstructured":"Margaria, T., Kiniry, J.: Welcome to formal methods in industry. IT Prof. 22(1), 9\u201312 (2020). https:\/\/doi.org\/10.1109\/MITP.2020.2968715","journal-title":"IT Prof."},{"key":"687_CR26","unstructured":"Marko, N., M\u00f6hlmann, E., Ni\u010dkovi\u0107, D., Niehaus, J., Priller, P., Rooker, M.: Challenges of engineering safe and secure highly automated vehicles: whitepaper (2020). arXiv:2103.03544 [cs.AI]"},{"issue":"9","key":"687_CR27","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1109\/MC.2021.3089267","volume":"54","author":"JB Michael","year":"2021","unstructured":"Michael, J.B., Drusinsky, D., Wijesekera, D.: Formal methods in cyberphysical systems. IEEE Comput. 54(9), 25\u201329 (2021). https:\/\/doi.org\/10.1109\/MC.2021.3089267","journal-title":"IEEE Comput."},{"key":"687_CR28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-05156-3","volume-title":"Formal Methods: An Appetizer","author":"F Nielson","year":"2019","unstructured":"Nielson, F., Nielson, H.R.: Formal Methods: An Appetizer. Springer, Berlin (2019). https:\/\/doi.org\/10.1007\/978-3-030-05156-3"},{"issue":"2","key":"687_CR29","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/s10626-017-0246-9","volume":"27","author":"N Ozay","year":"2017","unstructured":"Ozay, N., Tabuada, P.: Guest editorial: special issue on formal methods in control. Discrete Event Dyn. Syst. 27(2), 205\u2013208 (2017). https:\/\/doi.org\/10.1007\/s10626-017-0246-9","journal-title":"Discrete Event Dyn. Syst."},{"key":"687_CR30","volume-title":"Handbook of Automated Reasoning","year":"2001","unstructured":"Robinson, J.A., Voronkov, A. (eds.): Handbook of Automated Reasoning. Elsevier, New York (2001)"},{"key":"687_CR31","doi-asserted-by":"crossref","unstructured":"Schmidt, J., Leuschel, M.: SMT solving for the validation of B and event-B models. Int. J. Softw. Tools Technol. Transf. (in this issue) (2022)","DOI":"10.1007\/s10009-022-00682-y"},{"key":"687_CR32","doi-asserted-by":"publisher","unstructured":"Sifakis, J.: Rigorous System Design. Found. Trends Electron. Des. Autom. 6(4), 293\u2013362 (2013). https:\/\/doi.org\/10.1561\/1000000034","DOI":"10.1561\/1000000034"},{"key":"687_CR33","doi-asserted-by":"crossref","unstructured":"Sifakis, J.: Rigorous system design. In: Proceedings of the 33rd ACM Symposium on Principles of Distributed Computing (PODC 2014), ACM, p. 292 (2014). https:\/\/doi.org\/10.1145\/2611462.2611517","DOI":"10.1145\/2611462.2611517"},{"issue":"1","key":"687_CR34","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1109\/JPROC.2011.2161529","volume":"100","author":"J Sztipanovits","year":"2012","unstructured":"Sztipanovits, J., Koutsoukos, X.D., Karsai, G., Kottenstette, N., Antsaklis, P.J., Gupta, V., Goodwine, B., Baras, J.S., Wang, S.: Toward a science of cyber-physical system integration. Proc. IEEE 100(1), 29\u201344 (2012). https:\/\/doi.org\/10.1109\/JPROC.2011.2161529","journal-title":"Proc. IEEE"},{"issue":"4","key":"687_CR35","doi-asserted-by":"publisher","first-page":"381","DOI":"10.3390\/software1040017","volume":"1","author":"MH ter Beek","year":"2022","unstructured":"ter Beek, M.H., Ferrari, A.: Empirical formal methods: guidelines for performing empirical studies on formal methods. Software 1(4), 381\u2013416 (2022). https:\/\/doi.org\/10.3390\/software1040017","journal-title":"Software"},{"issue":"2","key":"687_CR36","doi-asserted-by":"publisher","first-page":"8:1","DOI":"10.1145\/3177772","volume":"28","author":"MH ter Beek","year":"2018","unstructured":"ter Beek, M.H., Loreti, M.: Guest editorial for the special issue on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST). ACM Trans. Model. Comput. Simul. 28(2), 8:1-8:4 (2018). https:\/\/doi.org\/10.1145\/3177772","journal-title":"ACM Trans. Model. Comput. Simul."},{"issue":"1","key":"687_CR37","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/j.jlamp.2015.09.006","volume":"85","author":"MH ter Beek","year":"2016","unstructured":"ter Beek, M.H., Clarke, D., Schaefer, I.: Editorial preface for the JLAMP special issue on Formal Methods for Software Product Line Engineering. J. Log. Algebr. Methods Program. 85(1), 123\u2013124 (2016). https:\/\/doi.org\/10.1016\/j.jlamp.2015.09.006","journal-title":"J. Log. Algebr. Methods Program."},{"issue":"3","key":"687_CR38","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/s10009-018-0487-4","volume":"20","author":"MH ter Beek","year":"2018","unstructured":"ter Beek, M.H., Gnesi, S., Knapp, A.: Formal methods for transport systems. Int. J. Softw. Tools Technol. Transf. 20(3), 237\u2013241 (2018). https:\/\/doi.org\/10.1007\/s10009-018-0487-4","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"issue":"5","key":"687_CR39","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1109\/MC.2016.131","volume":"49","author":"JM Voas","year":"2016","unstructured":"Voas, J.M., Schaffer, K.: Insights on formal methods in cybersecurity. IEEE Comput. 49(5), 102\u2013105 (2016). https:\/\/doi.org\/10.1109\/MC.2016.131","journal-title":"IEEE Comput."},{"key":"687_CR40","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-51838-1","volume-title":"The Handbook of Formal Methods in Human\u2013Computer Interaction. Human\u2013Computer Interaction Series","year":"2017","unstructured":"Weyers, B., Bowen, J., Dix, A., Palanque, P. (eds.): The Handbook of Formal Methods in Human\u2013Computer Interaction. Human\u2013Computer Interaction Series. Springer, Berlin (2017). https:\/\/doi.org\/10.1007\/978-3-319-51838-1"},{"issue":"9","key":"687_CR41","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1109\/2.58215","volume":"23","author":"JM Wing","year":"1990","unstructured":"Wing, J.M.: A specifier\u2019s introduction to formal methods. IEEE Comput. 23(9), 8\u201324 (1990). https:\/\/doi.org\/10.1109\/2.58215","journal-title":"IEEE Comput."},{"issue":"10","key":"687_CR42","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1145\/3448248","volume":"64","author":"JM Wing","year":"2021","unstructured":"Wing, J.M.: Trustworthy AI. Commun. ACM 64(10), 64\u201371 (2021). https:\/\/doi.org\/10.1145\/3448248","journal-title":"Commun. ACM"},{"issue":"4","key":"687_CR43","doi-asserted-by":"publisher","first-page":"19:1","DOI":"10.1145\/1592434.1592436","volume":"41","author":"J Woodcock","year":"2009","unstructured":"Woodcock, J., Larsen, P.G., Bicarregui, J., Fitzgerald, J.S.: Formal methods: practice and experience. ACM Comput. Surv. 41(4), 19:1-19:36 (2009). https:\/\/doi.org\/10.1145\/1592434.1592436","journal-title":"ACM Comput. Surv."}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-022-00687-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10009-022-00687-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-022-00687-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,2]],"date-time":"2022-12-02T11:58:20Z","timestamp":1669982300000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10009-022-00687-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,28]]},"references-count":43,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2022,12]]}},"alternative-id":["687"],"URL":"https:\/\/doi.org\/10.1007\/s10009-022-00687-7","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,10,28]]},"assertion":[{"value":"19 October 2022","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"28 October 2022","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}