Automatisierte Erstellung und Wartung von Sicherheitsfallen für automatisierte Fahrsysteme mit dem Evidential Tool Bus.