Risikobasierte Ableitung und Priorisierung von Testfällen für den modellbasierten Systemtest.