Schieferdecker, I.I.SchieferdeckerHoffmann, A.A.Hoffmann2022-03-042022-03-042011https://publica.fraunhofer.de/handle/publica/225496en004Model-based testingbook article