Zander, J.J.ZanderSchieferdecker, I.I.Schieferdecker2022-03-042022-03-042009https://publica.fraunhofer.de/handle/publica/219219en004Model-based testing of embedded systems exemplified for the automotive domainbook article