References

  1. IEC 62304 Medical device software \begingroupłet [Pleaseinsert\PrerenderUnicode—intopreamble] Software life cycle processes.
  2. A. Abba (2021): The novel Mechanical Ventilator Milano for the COVID-19 pandemic. Physics of Fluids 33(3), pp. 037122, doi:10.1063/5.0044445.
  3. Jean-Raymond Abrial (2006): Formal Methods in Industry: Achievements, Problems, Future, pp. 761\begingroupłet [Pleaseinsert\PrerenderUnicode–intopreamble]768. Association for Computing Machinery, New York, NY, USA, doi:10.1145/1134285.1134406.
  4. P. Arcaini, S. Bonfanti, A. Gargantini & E. Riccobene (2016): Visual Notation and Patterns for Abstract State Machines. In: Paolo Milazzo, Dániel Varró & Manuel Wimmer: Software Technologies: Applications and Foundations: STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, LNCS. Springer International Publishing, pp. 163–178, doi:10.1007/978-3-319-50230-4_12.
  5. Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene & Patrizia Scandurra (2021): The ASMETA Approach to Safety Assurance of Software Systems. In: Alexander Raschke, Elvinia Riccobene & Klaus-Dieter Schewe: Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday. Springer International Publishing, Cham, pp. 215–238, doi:10.1007/978-3-030-76020-5_13.
  6. Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor & Elvinia Riccobene (2018): Integrating formal methods into medical software development: The ASM approach. Science of Computer Programming 158, pp. 148–167, doi:10.1016/j.scico.2017.07.003.
  7. Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene & Patrizia Scandurra (2020): Addressing Usability in a Formal Development Environment. In: AFFORD 2019 - Workshop on Practical Formal Verification for Software Dependability - workshop of FM 19. Springer International Publishing, pp. 61–76, doi:10.1007/978-3-030-54994-7_6.
  8. Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene & Patrizia Scandurra (2020): Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA. In: Alexander Raschke, Dominique Méry & Frank Houdek: Rigorous State-Based Methods. Springer International Publishing, Cham, pp. 302–317, doi:10.1007/978-3-030-48077-6_25.
  9. Paolo Arcaini, Angelo Gargantini & Elvinia Riccobene (2016): SMT-based automatic proof of ASM model refinement. In: Rocco De Nicola & Eva Kühn: Software Engineering and Formal Methods: 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings, Lecture Notes in Computer Science. Springer International Publishing, Cham, pp. 253–269, doi:10.1007/978-3-319-41591-8_17.
  10. Paolo Arcaini, Angelo Gargantini & Elvinia Riccobene (2017): Rigorous development process of a safety-critical system: from ASM models to Java code. International Journal on Software Tools for Technology Transfer 19(2), pp. 247–269, doi:10.1007/s10009-015-0394-x.
  11. Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene & Patrizia Scandurra (2011): A model-driven process for engineering a toolset for a formal method. Software: Practice and Experience 41, pp. 155–166, doi:10.1002/spe.1019.
  12. ASMETA (ASM mETAmodeling) toolset. https://asmeta.github.io/.
  13. Andrea Bombarda, Silvia Bonfanti & Angelo Gargantini (2019): Developing Medical Devices from Abstract State Machines to Embedded Systems: A Smart Pill Box Case Study. In: Software Technology: Methods and Tools. Springer International Publishing, Cham, pp. 89–103, doi:10.1007/978-3-030-29852-4_7.
  14. Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini & Elvinia Riccobene (2021): Extending ASMETA with Time Features. In: Rigorous State-Based Methods. Springer International Publishing, pp. 105–111, doi:10.1007/978-3-030-77543-8_8.
  15. Silvia Bonfanti, Marco Carissoni, Angelo Gargantini & Atif Mashkoor (2017): Asm2C++: A Tool for Code Generation from Abstract State Machines to Arduino. In: Lecture Notes in Computer Science. Springer International Publishing, pp. 295–301, doi:10.1007/978-3-319-57288-8_21.
  16. Silvia Bonfanti, Angelo Gargantini & Atif Mashkoor (2019): Design and validation of a C++ code generator from Abstract State Machines specifications. Journal of Software: Evolution and Process 32(2), doi:10.1002/smr.2205.
  17. Egon Börger (2003): Abstract State Machines : a Method for High-Level System Design and Analysis. Springer Berlin Heidelberg, Berlin, Heidelberg, doi:10.1007/978-3-642-18216-7.
  18. Egon B\begingroupłet [Pleaseinsert\PrerenderUnicodeöintopreamble]rger & Alexander Raschke (2018): Modeling Companion for Software Practitioners. Springer Berlin Heidelberg, doi:10.1007/978-3-662-56641-1.
  19. D. Campbell & J. Brown (1963): THE ELECTRICAL ANALOGUE OF LUNG. BJA: British Journal of Anaesthesia 35, pp. 684–692, doi:10.1093/bja/35.11.684.
  20. Hubert Garavel, Maurice H. ter Beek & Jaco van de Pol (2020): The 2020 Expert Survey on Formal Methods. In: Maurice H. ter Beek & Dejan Ničkovi\'c: Formal Methods for Industrial Critical Systems. Springer International Publishing, Cham, pp. 3–69, doi:10.1007/978-3-030-58298-2_1.
  21. Mario Gleirscher & Diego Marmsoler (2020): Formal methods in dependable systems engineering: a survey of professionals from Europe and North America. Empirical Software Engineering 25(6), pp. 4473–4546, doi:10.1007/s10664-020-09836-5.
  22. Maria Chiara Di Guardo, Elona Marku, Walter Marcello Bonivento, Manuel Castriotta, Fernando Ferroni, Cristiano Galbiati, Giuseppe Gorini & Michela Loi (2021): When nothing is certain, anything is possible: open innovation and lean approach at MVM. R&D Management, doi:10.1111/radm.12453.
  23. Gibrail Islam & Tim Storer (2020): A case study of agile software development for safety-Critical systems projects. Reliability Engineering & System Safety 200, pp. 106954, doi:10.1016/j.ress.2020.106954.
  24. Nancy Leveson (2020): Are You Sure Your Software Will Not Kill Anyone?. Commun. ACM 63(2), pp. 25–28, doi:10.1145/3376127.
  25. Robyn R. Lutz (2000): Software Engineering for Safety: A Roadmap. In: Proceedings of the Conference on The Future of Software Engineering, ICSE '00. Association for Computing Machinery, New York, NY, USA, pp. 213–226, doi:10.1145/336512.336556.
  26. Rodney N Westhorpe & C Ball (2012): The Manley Ventilator. Anaesthesia and intensive care 40(5), pp. 749–750, doi:10.1177/0310057X1204000501.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org