Automatisierte Generierung von Sicherheitstests für variantenreiche Produktionssysteme mittels ECAD.