We further discussed the role of a multidisciplinary tracheostomy team, especially the nursing care protocol, in the clinical management of tracheostomized ... Most recommendations are insufficient ...

the standard OVA template library that is available with the OVA compiler and VCS simulator contains some 34 templates that check simple properties like the overflow above, but also very complex ones ...