Computergestützte Verifikation von Medizingerätenetzwerken - Dingler, Max Emanuel (2018)