@misc{indiciae6de90f323148,
  title = {Developing a Prototype of a Mechanical Ventilator Controller from Requirements to Code with ASMETA},
  author = {Andrea Bombarda and Silvia Bonfanti and Angelo Gargantini and Elvinia Riccobene},
  year = {2021},
  doi = {10.4204/eptcs.349.2},
  url = {https://arxiv.org/abs/2111.08204},
  note = {Source identifier: 2111.08204}
}