TY  - RPRT
TI  - Developing a Prototype of a Mechanical Ventilator Controller from Requirements to Code with ASMETA
AU  - Andrea Bombarda
AU  - Silvia Bonfanti
AU  - Angelo Gargantini
AU  - Elvinia Riccobene
PY  - 2021
DO  - 10.4204/eptcs.349.2
UR  - https://arxiv.org/abs/2111.08204
ID  - 2111.08204
ER  -