{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,8]],"date-time":"2025-09-08T06:55:42Z","timestamp":1757314542665,"version":"3.40.3"},"publisher-location":"Cham","reference-count":39,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030737573"},{"type":"electronic","value":"9783030737580"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-73758-0_5","type":"book-chapter","created":{"date-parts":[[2021,11,29]],"date-time":"2021-11-29T15:10:49Z","timestamp":1638198649000},"page":"131-164","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["FASTEN: An Extensible Platform to Experiment with Rigorous Modeling of Safety-Critical Systems"],"prefix":"10.1007","author":[{"given":"Daniel","family":"Ratiu","sequence":"first","affiliation":[]},{"given":"Arne","family":"Nordmann","sequence":"additional","affiliation":[]},{"given":"Peter","family":"Munk","sequence":"additional","affiliation":[]},{"given":"Carmen","family":"Carlan","sequence":"additional","affiliation":[]},{"given":"Markus","family":"Voelter","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,4,15]]},"reference":[{"key":"5_CR1","volume-title":"Transformation of a state description into a qualitative fault tree","author":"A Abele","year":"2019","unstructured":"Abele, A.: Transformation of a state description into a qualitative fault tree. In: Praxisforum Fehlerbaumanalyse & Co. (2019)"},{"issue":"7","key":"5_CR2","doi-asserted-by":"publisher","first-page":"620","DOI":"10.1109\/TSE.2015.2398877","volume":"41","author":"M Autili","year":"2015","unstructured":"Autili, M., Grunske, L., Lumpe, M., Pelliccione, P., Tang, A.: Aligning qualitative, real-time, and probabilistic property specification patterns using a structured english grammar. IEEE Trans. Software Eng. 41(7), 620\u2013638 (2015)","journal-title":"IEEE Trans. Software Eng."},{"key":"5_CR3","unstructured":"Benveniste, A., Caillaud, B., Nickovic, D., Passerone, R., Raclet, J.B., Reinkemeier, P., Sangiovanni-Vincentelli, A., Damm, W., Henzinger, T., Larsen, K.G.: Contracts for systems design: Theory. Tech. rep., INRIA (2015)"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Bozzano, M., Munk, P., Schweizer, M., Tonetta, S., Voz\u00e1rov\u00e1, V.: Model-based safety analysis of mode transitions. In: Proc. of SAFECOMP (2020)","DOI":"10.1007\/978-3-030-54549-9_7"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"C\u00e2rlan, C., Ratiu, D.: FASTEN.Safe: A model-driven engineering tool to experiment with checkable assurance cases. In: Proceedings of the International Conference on Computer Safety, Reliability, and Security (SAFECOMP), LNCS, vol. 12234, pp. 298\u2013306. Springer (2020)","DOI":"10.1007\/978-3-030-54549-9_20"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Cawley, O., Wang, X., Richardson, I.: Lean\/agile software development methodologies in regulated environments - state of the art. In: Proceedings of First International Conference on Lean Enterprise Software and Systems - LESS, Lecture Notes in Business Information Processing, vol. 65, pp. 31\u201336. Springer (2010)","DOI":"10.1007\/978-3-642-16416-3_4"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Cimatti, A., Clarke, E.M., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV 2: An opensource tool for symbolic model checking. In: Proceedings of the 14th International Conference on Computer Aided Verification, CAV \u201902, pp. 359\u2013364. Springer, Berlin, Heidelberg (2002)","DOI":"10.1007\/3-540-45657-0_29"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Cimatti, A., Tonetta, S.: A property-based proof system for contract-based design. In: 38th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2012, Cesme, Izmir, Turkey, September 5\u20138, 2012, pp. 21\u201328 (2012)","DOI":"10.1109\/SEAA.2012.68"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Clarke, E., Kroening, D., Lerda, F.: A tool for checking ANSI-C programs. In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004), Lecture Notes in Computer Science. Springer (2004)","DOI":"10.1007\/978-3-540-24730-2_15"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"De Moura, L., Bj\u00f8rner, N.: Z3: An efficient smt solver. In: Proceedings of the Theory and Practice of Software, 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS\u201908\/ETAPS\u201908, p. 337\u2013340. Springer, Berlin, Heidelberg (2008)","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: Proceedings of the 21st International Conference on Software Engineering, ICSE \u201999, p. 411\u2013420. Association for Computing Machinery, New York, NY, USA (1999)","DOI":"10.1145\/302405.302672"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Erdweg, S., Van Der Storm, T., V\u00f6lter, M., Boersma, M., Bosman, R., Cook, W.R., Gerritsen, A., Hulshout, A., Kelly, S., Loh, A., et al.: The state of the art in language workbenches. In: International Conference on Software Language Engineering, pp. 197\u2013217. Springer (2013)","DOI":"10.1007\/978-3-319-02654-1_11"},{"key":"5_CR13","doi-asserted-by":"publisher","unstructured":"Graydon, P.J.: Formal assurance arguments: A solution in search of a problem? In: 2015 45th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks, pp. 517\u2013528 (2015). https:\/\/doi.org\/10.1109\/DSN.2015.28","DOI":"10.1109\/DSN.2015.28"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Hatcliff, J., Wassyng, A., Kelly, T., Comar, C., Jones, P.: Certifiably safe software-dependent systems: Challenges and directions. In: Future of Software Engineering Proceedings, FOSE 2014, pp. 182\u2013200. Association for Computing Machinery, New York, NY, USA (2014)","DOI":"10.1145\/2593882.2593895"},{"key":"5_CR15","unstructured":"Holzmann, G.: Spin Model Checker, the: Primer and Reference Manual, 1st edn. Addison-Wesley Professional (2003)"},{"key":"5_CR16","unstructured":"ISO: 26262: Road vehicles-Functional safety, vol. 26262. International Organisation for Standardization (ISO) (2018)"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Kaiser, B., Weber, R., Oertel, M., B\u00f6de, E., Nejad, B.M., Zander, J.: Contract-based design of embedded systems integrating nominal behavior and safety. Complex Syst. Inf. Model. Q. (CSIMQ) 4, 66\u201391 (2015)","DOI":"10.7250\/csimq.2015-4.05"},{"key":"5_CR18","unstructured":"Kelly, T., Weaver, R.: The goal structuring notation \u2013 a safety argument notation. In: Proc. of Dependable Systems and Networks 2004 Workshop on Assurance Cases (2004)"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"Knight, J.: Fundamentals of Dependable Computing for Software Engineers. CRC Press (2012)","DOI":"10.1201\/b11667"},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"Konrad, S., Cheng, B.H.C.: Real-time specification patterns. In: 27th International Conference on Software Engineering (ICSE 2005), 15\u201321 May 2005, St. Louis, Missouri, USA, pp. 372\u2013381 (2005)","DOI":"10.1145\/1062455.1062526"},{"key":"5_CR21","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/978-3-319-05843-6_14","volume-title":"Requirements Engineering: Foundation for Software Quality","author":"F Kossak","year":"2014","unstructured":"Kossak, F., Mashkoor, A., Geist, V., Illibauer, C.: Improving the understandability of formal specifications: An experience report. In: Salinesi, C., van de Weerd, I. (eds.) Requirements Engineering: Foundation for Software Quality, pp. 184\u2013199. Springer International Publishing, Cham (2014)"},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: Verification of probabilistic real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) Proc. 23rd International Conference on Computer Aided Verification (CAV\u201911), LNCS, vol. 6806, pp. 585\u2013591. Springer (2011)","DOI":"10.1007\/978-3-642-22110-1_47"},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"Leveson, N.: Engineering a Safer World, 1st edn. MIT Press (2012)","DOI":"10.7551\/mitpress\/8179.001.0001"},{"key":"5_CR24","volume-title":"Stpa Handbook","author":"NG Leveson","year":"2018","unstructured":"Leveson, N.G., Thomas, J.P.: Stpa Handbook. Cambridge, MA, USA (2018)"},{"key":"5_CR25","doi-asserted-by":"publisher","first-page":"889","DOI":"10.1007\/s10270-020-00782-w","volume":"19","author":"P Munk","year":"2020","unstructured":"Munk, P., Nordmann, A.: Model-based safety assessment with SysML and component fault trees: application and lessons learned. Software Syst. Model. 19, 889\u2013910 (2020)","journal-title":"Software Syst. Model."},{"key":"5_CR26","doi-asserted-by":"crossref","unstructured":"Nordmann, A., Munk, P.: Lessons learned from model-based safety assessment with SysML and component fault trees. In: Proceedings of the 21th ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018, pp. 134\u2013143. ACM (2018)","DOI":"10.1145\/3239372.3239373"},{"key":"5_CR27","unstructured":"OMG: OMG Systems Modeling Language (OMG SysML), Version 1.3 (2012). http:\/\/www.omg.org\/spec\/SysML\/1.3\/"},{"issue":"1","key":"5_CR28","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/s00766-011-0145-9","volume":"17","author":"A Post","year":"2012","unstructured":"Post, A., Menzel, I., Hoenicke, J., Podelski, A.: Automotive behavioral requirements expressed in a specification pattern system: a case study at Bosch. Requirements Engineering 17(1), 19\u201333 (2012)","journal-title":"Requirements Engineering"},{"key":"5_CR29","doi-asserted-by":"crossref","unstructured":"Ratiu, D., Gario, M., Schoenhaar, H.: FASTEN: An open extensible framework to experiment with formal specification approaches. In: Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, FormaliSE \u201919, pp. 41\u201350. IEEE Press (2019)","DOI":"10.1109\/FormaliSE.2019.00013"},{"key":"5_CR30","volume-title":"Safety assurance of open context systems","author":"J Rauhut","year":"2020","unstructured":"Rauhut, J.: Safety assurance of open context systems. Master\u2019s thesis, University of Applied Science Esslingen (2020)"},{"key":"5_CR31","doi-asserted-by":"crossref","unstructured":"Spichkova, M., Zamansky, A.: Teaching of formal methods for software engineering. In: Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering - Volume 1: COLAFORM, (ENASE), pp. 370\u2013376. SciTePress (2016)","DOI":"10.5220\/0005928503700376"},{"key":"5_CR32","unstructured":"The Assurance Case Working Group: Goal structuring notation community standard version 2 (2018). https:\/\/scsc.uk\/scsc-141B"},{"key":"5_CR33","unstructured":"Tommila, T., Pakonen, A.: Controlled natural language requirements in the design and analysis of safety critical i & c systems. Tech. rep., VTT, Finland (2014)"},{"key":"5_CR34","doi-asserted-by":"crossref","unstructured":"Viger, T., Salay, R., Selim, G.M.K., Chechik, M.: Just enough formality in assurance argument structures. In: Computer Safety, Reliability, and Security - 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16\u201318, 2020, Proceedings, Lecture Notes in Computer Science. Springer (2020)","DOI":"10.1007\/978-3-030-54549-9_3"},{"key":"5_CR35","doi-asserted-by":"crossref","unstructured":"Voelter, M., Ratiu, D., Kolb, B., Schaetz, B.: mbeddr: Instantiating a language workbench in the embedded software domain. Automat. Software Eng. 20(3), 339\u2013390 (2013)","DOI":"10.1007\/s10515-013-0120-4"},{"key":"5_CR36","doi-asserted-by":"crossref","unstructured":"Voelter, M., Szab\u00f3, T., Lisson, S., Kolb, B., Erdweg, S., Berger, T.: Efficient development of consistent projectional editors using grammar cells. In: Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, SLE 2016, pp. 28\u201340. ACM (2016)","DOI":"10.1145\/2997364.2997365"},{"key":"5_CR37","doi-asserted-by":"publisher","first-page":"2507","DOI":"10.1007\/s10270-018-0679-0","volume":"18","author":"M V\u00f6lter","year":"2018","unstructured":"V\u00f6lter, M., Kolb, B., Birken, K., Tomassetti, F., Alff, P., Wiart, L., Wortmann, A., Nordmann, A.: Using language workbenches and domain-specific languages for safety-critical software development. Software Syst. Model. 18, 2507\u20132530 (2018)","journal-title":"Software Syst. Model."},{"key":"5_CR38","doi-asserted-by":"crossref","unstructured":"Voelter, M., Birken, K., Lisson, S., Rimer, A.: Shadow models: Incremental transformations for MPS. In: Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2019, pp. 61\u201365. ACM (2019)","DOI":"10.1145\/3357766.3359528"},{"key":"5_CR39","unstructured":"Vuori, M.: Agile development of safety-critical software. Tech. rep., Tampere University of Technology. Department of Software Systems. Report 14 (2011)"}],"container-title":["Domain-Specific Languages in Practice"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-73758-0_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,29]],"date-time":"2021-11-29T15:43:23Z","timestamp":1638200603000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-73758-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030737573","9783030737580"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-73758-0_5","relation":{},"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"15 April 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}