Automatisiertes Testen eingebetteter Systeme in der Medizintechnik