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