Zander, J.Schieferdecker, I.Mosterman, P.J.2022-03-072022-03-072012https://publica.fraunhofer.de/handle/publica/295477en004Model-based testing for embedded systemsanthology