Schieferdecker, I.I.SchieferdeckerRennoch, A.A.RennochVouffo Feudjio, A.A.Vouffo Feudjio2022-03-042022-03-042011https://publica.fraunhofer.de/handle/publica/225497en004Model-based testing: Approaches and notationsbook article