@Inproceedings{EPTCS349.2,
  author    = {Bombarda, Andrea and Bonfanti, Silvia and Gargantini, Angelo  and Riccobene, Elvinia},
  year      = {2021},
  title     = {Developing a Prototype of a Mechanical Ventilator Controller from Requirements to Code with ASMETA},
  editor    = {Gleirscher, Mario and Pol, Jaco van de and Woodcock, Jim},
  booktitle = {{\rm Proceedings First Workshop on}
               Applicable Formal Methods,
               {\rm virtual, 23rd November 2021}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {349},
  publisher = {Open Publishing Association},
  pages     = {13-29},
  doi       = {10.4204/EPTCS.349.2},
}